In the news.

FortuneJun 2026

Economists taught an unproven proof for 50 years. AI just solved it

OpenTCSAug 2026AxiomProver Formalizes the BGP246 Bounded Prime-Gap Theorem in LeanFirst CommitJul 2026Why Math Might Be the Last Language AI Hasn't ConqueredLatent SpaceJun 2026Scaling Past Informal AI: Carina Hong, Axiom MathAxiosMay 2026Exclusive: AI math startup's proofs land in peer-reviewed journals
The Upstarts PodcastApr 2026Solving Math's Hardest Problems With AI, and AI's Problems With MathThe New York TimesMar 2026A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.The MAD PodcastFeb 2026AI That Can Prove It's Right: Verification as the Missing Layer in AIWiredFeb 2026A New AI Math Startup Just Cracked 4 Previously Unsolved ProblemsB CapitalOct 2025Toward Mathematical Superintelligence: Why We Invested in Axiom