TechCrunch
Axiom Math wants to keep AI slop out of mathematics
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.
By TechCrunch
Excerpt shared by Lazyfounder
·Excerpt
It feels like AI is cracking a new math problem every week. Last month, OpenAI alone released 719 manuscripts claiming solutions to some of the field’s hardest problems. Even the computer checks can slip. After years of AI slop, it’s fair to wonder whether math is next.
AxiomMath is betting math…
Courtesy
This story was originally published by TechCrunch. All rights belong to the original publisher.
Read the original on techcrunch.com ↗