Axiom Math
PulseAugur coverage of Axiom Math — every cluster mentioning Axiom Math across labs, papers, and developer communities, ranked by signal.
- 2026-11-05 research_milestone Axiom Math's AI agents formally verified the Stacks Project, a large mathematical library. source
- 2026-11-05 research_milestone Axiom Math's AI agents formally verified the Stacks Project, a large body of mathematical work. source
- 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
2 day(s) with sentiment data
-
Axiom Math's AI agents verify massive Stacks Project in mathematics
Axiom Math has announced that its AI agents have successfully verified the Stacks Project, a vast collection of mathematical works comprising 7,654 pages. This extensive verification process involved converting the page…
-
Axiom Math uses AI agents to formally verify vast math library
Axiom Math, a startup valued at $1.6 billion, is developing AI agents to formally verify mathematical proofs and prevent the influx of unverified AI-generated content into the field. The company has successfully verifie…
-
Google unveils Genie 4, Liquid AI launches LFM3, Anthropic faces scrutiny
Google has released Genie 4, an advanced world model capable of generating interactive, photorealistic environments with synchronized audio and real-time editing, doubling the duration of its predecessor. Liquid AI has …
-
Tech workers train ChatGPT to drive Toyota Corolla
A group of tech workers in San Francisco, calling themselves DrivingBench, successfully demonstrated that general-purpose large language models can be trained to drive a car. They modified a Toyota Corolla using an open…
-
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…
-
Axiom Math's Carina Hong on Scaling AI on Latent Space Podcast
Carina Hong, from Axiom Math, discussed the challenges and future of scaling AI beyond informal applications on the Latent Space Podcast. The conversation likely delved into the technical hurdles and strategic approache…
-
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…