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.
More in Startups
Meta’s warns that election backlash against data centers could make AI expansion harder
November 5, 2026
OpenAI released a new cybersecurity model. Is that enough?
November 5, 2026
US government warns of ‘ongoing cyber threat’ amid mass hacks of industrial retail and military freezers
November 5, 2026
OpenAI president Greg Brockman says company could be IPO ready in 2027
November 5, 2026
Claude can now analyze your spending with its new Personal Finance tool
November 5, 2026
The ex-Secret Service agent who flipped a hacker is now raising a second $250M cybersecurity fund
November 5, 2026
Latest News
Hearts bruised by Thun in self-inflicted Conference League defeat
November 5, 2026
Anderson in talks with Surrey after Lancashire release
November 5, 2026
Papers: Deschamps turns down Man Utd offer to replace Carrick
November 5, 2026
Celtic claim dramatic Europa League win against Besiktas
November 5, 2026
Yalcouye header secures narrow win for Brighton at Getafe
November 5, 2026
Pressure ramps up on Le Bris as Sunderland beaten by Dinamo Zagreb
November 5, 2026