Log inSign up
Companies › Axiom
Axiom logo

Axiom

Palo Alto, US · ≈45 employees · Information · Crunchbase rank #3,387 · axiommath.ai

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.

Artificial Intelligence (AI)EducationFoundational AIGenerative AIInformation TechnologySoftware
Also: serverless · monitoring · observability · jamstack · analytics · logging · data · software development · distributed tracing · consulting · cost-effective querying · custom dashboards

Funding

1
Every round, secondary, debt facility or acquisition involving Axiom that AI Lounge tracks, newest first. Latest: Series A on Mar 15, 2026.
Axiom logo
Axiomdetails →Series AMar 15
Menlo Ventures (lead) · AI for mathematics
$200M
val. $1.6B

Timeline · 3

Oct 27, 2026
News
Axiom Math Releases Complete Lean Proof of the Classification of Finite Simple Groups · Axiom Math
Mar 15, 2026
Round
Series A · $200M at $1.6B · Menlo Ventures
Mar 15, 2026
Deal
Axiom raises $200M Series A at $1.6B for AI mathematical discovery · TechCrunch

In the news

2
Axiom Math Releases Complete Lean Proof of the Classification of Finite Simple Groups2026-10-27Axiom raises $200M Series A at $1.6B for AI mathematical discovery2026-03-15
Members see every AI company on AI Lounge with revenue, funding, valuation and investors, searchable and sortable, free.
Create my free account →Log in