Axiom Math
PulseAugur coverage of Axiom Math — every cluster mentioning Axiom Math across labs, papers, and developer communities, ranked by signal.
- 2026-08-17 research_milestone Axiom Math's AI system AxiomProver verified the proof of the '246 theorem', a significant advance in number theory. source
- 2026-06-01 research_milestone Axiom Math's AI system identified a flaw in a 50-year-old economic theorem. source
- 2026-05-28 funding Axiom Math secured $200 million in Series A funding at a $1.6 billion valuation. source
-
AI verifies complex prime number theorem, paving way for code verification
Axiom Math has successfully used its AI system, AxiomProver, to verify the proof of the "246 theorem," a significant advancement in number theory related to prime numbers. This marks a milestone in AI-assisted mathemati…
-
AXLE cloud infrastructure streamlines AI-driven Lean 4 theorem proving
A new cloud infrastructure service called AXLE has been developed to support Lean 4 theorem proving, specifically for AI-driven mathematics research. AXLE offers a suite of 14 metaprogramming tools for tasks such as pro…
-
AI finds 50-year-old flaw in widely used economic theorem
Axiom Math's formal verification system, EconLib, has identified a flaw in a 50-year-old economic theorem by Robert Aumann, which has been widely used in fields like information economics and antitrust law. The AI syste…
-
Axiom Math's AI-generated math papers accepted; raises $200M
Axiom Math, a startup founded by 2001-born mathematician Hong Letong, has achieved a significant milestone with five of its AI-generated mathematical papers accepted for publication in academic journals. The company's A…