Technology
Axiom Math wants to keep AI slop out of mathematics
Source: TechCrunch · Published
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.
Related stories
- OpenAI president Greg Brockman says company could be IPO ready in 2027
TechCrunch · 5 Nov 2026, 18:02
- The ex-Secret Service agent who flipped a hacker is now raising a second $250M cybersecurity fund
TechCrunch · 5 Nov 2026, 18:00
- Claude can now analyze your spending with its new Personal Finance tool
TechCrunch · 5 Nov 2026, 18:00
- Harbinger raises $240M after expanding into defense
TechCrunch · 5 Nov 2026, 17:52
- Nasdaq heading for worst day in 18 months as Wall Street sustains widespread losses
The Guardian · 5 Nov 2026, 17:31
- Food delivery startup Wonder files for IPO as it explores its next big bite
TechCrunch · 5 Nov 2026, 17:11
We are a news aggregator: we show the headline and a short excerpt with a link to the original source. We never republish full articles.