• Jobs
  • Startups
  • Hire
LoginSign up

Axiom Math

Axiom Math has 3 open roles, 1 posted in the last 30 days. Funding stage: Series A. Last round: Mar 12, 2026.

Open roles

  • Axiom Math logo
    Member of Technical Staff Intern

    Axiom Math

    • Palo Alto, CA
    • On-site · Intern
    Ashby
    Posted 16d ago
  • Axiom Math logo
    Intern, Special Projects (MBA)

    Axiom Math

    • Palo Alto, CA
    • On-site · Intern
    Ashby
    Posted 38d ago
  • Axiom Math logo
    Member of Technical Staff

    Axiom Math

    • Palo Alto, CA
    • On-site · Staff / Lead
    AI-native
    Ashby
    Posted 224d ago

About

Axiom Math logo

Axiom Math

Axiom develops artificial intelligence systems designed to solve complex mathematical problems and produce formally verified proofs. The platform processes mathematical questions written in natural language, converts them into formal proof structures, and applies automated reasoning to generate step-by-step solutions. Its system integrates modules that translate problems into formal languages, propose intermediate lemmas, and assemble proofs that are verified through proof-checking tools.

Series AAI-product
Size51–200 employees
IndustryTechnology, Information and Internet
Unlock human wisdom
ThesisTermsPrivacy
Funding
  • Series A · Mar 12, 2026
Investors
Menlo Ventures

Claim axiommath.ai

Work at axiommath.ai? Sign in to claim this org and manage its profile.

© 2026 Saywise Inc.