// COMPANY
Axiom Math
SECTOR AIMENTIONS 4LAST SEEN MAY 26, 2026
// OVERVIEW
AI math startup that raised $200M at a $1.6B valuation in March 2026 and uses formal proof language Lean via its AxiomProver tool.
Discussed in
// RECENT MENTIONS
// SIGNALS
4 SIGNALS
01
funding·Axios AI+·MAY 26, 2026
“Axiom Math's AI-generated mathematical proofs have cleared the highest bar in academic validation: peer-reviewed journal publication — five journals to date.”
Source→02
product·Axios AI+·MAY 26, 2026
“AI math startup; raised $200M at a $1.6B valuation (March 2026); uses formal proof language Lean via its AxiomProver tool.”
Source→03
mention·Axios AI+·MAY 26, 2026
“To our knowledge, Axiom is the first to bring this model into the journal literature in this explicit way. — Ken Ono, Axiom Math”
AI-extracted from podcast / newsletter / paper summaries. May contain errors.