// COMPANY
Axiom Math
SECTOR AIMENTIONS 6LAST SEEN JULY 28, 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
6 SIGNALS
01
product·LifeArchitect.ai·JULY 28, 2026
“Models that scored 100% (42/42) at the International Mathematical Olympiad included: Claude Opus 5, Claude Fable 5, GPT-5.6 Sol, Kimi K3, Axiom Math's AxiomProver, and two Chinese models.”
02
mention·LifeArchitect.ai·JULY 28, 2026
“Models that scored 100% (42/42) at the International Mathematical Olympiad included: Claude Opus 5, Claude Fable 5, GPT-5.6 Sol, Kimi K3, Axiom Math's AxiomProver, and two Chinese models.”
03
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.”
SourceAI-extracted from podcast / newsletter / paper summaries. May contain errors.