Axiom Math
PulseAugur coverage of Axiom Math — every cluster mentioning Axiom Math across labs, papers, and developer communities, ranked by signal.
-
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…