In the news.

FortuneJun 2026

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

OpenTCSAug 2026

AxiomProver Formalizes the BGP246 Bounded Prime-Gap Theorem in Lean

First CommitJul 2026

Why Math Might Be the Last Language AI Hasn't Conquered

Latent SpaceJun 2026

Scaling Past Informal AI: Carina Hong, Axiom Math

AxiosMay 2026

Exclusive: AI math startup's proofs land in peer-reviewed journals

The Upstarts PodcastApr 2026

Solving Math's Hardest Problems With AI, and AI's Problems With Math

The New York TimesMar 2026

A.I. Writes Buggy Code. A Silicon Valley Start-Up Wants to Fix It.

The MAD PodcastFeb 2026

AI That Can Prove It's Right: Verification as the Missing Layer in AI

WiredFeb 2026

A New AI Math Startup Just Cracked 4 Previously Unsolved Problems

B CapitalOct 2025

Toward Mathematical Superintelligence: Why We Invested in Axiom