Axiom Math wants to keep AI slop out of mathematics
TechCrunch · Aditya Mehta ·
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
It feels like AI is cracking a new math problem every week. Last month, OpenAI released 719 manuscriptsclaiming solutions to some of the field’s hardest problems. But even the computer checks meant to confirm those results can slip. After years of AI slop, it’s fair to wonder whether math is next.
Axiom Math is betting math can avoid that fate, not by slowing down, but by standing on firmer ground. The $1.6 billion startup wants to build a verified foundation that AI agents can rely on to write software and, eventually, do science.
On Wednesday, the company announced it had formally verified the Stacks Project, one of the largest bodies of mathematics ever written by humans. Mathematicians often hold Stacks in rare regard — Columbia mathematician Peter Woit has claimed there’s “nothing else really comparable,” comparing the project to “the famous Bourbaki books,” a series that rebuilt math from its foundations in the 20th century.
Read the full story at TechCrunch · All coverage of this story