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
BBC Inside Science
November 5, 2026
‘It Gets Worse’ Review: Paramount+’s Hilariously Observed, Affectionately Drawn Comedy About the Agony and Ecstasy of Early Adulthood
November 5, 2026
EA Killed Mass Effect But Is Still Trying To Make Money On It
November 5, 2026
Dark Slope to Open New Virtual Production Stage in Vancouver (Exclusive)
November 5, 2026
Lockheed Martin’s Mk21A Reentry Vehicle Completed Maiden Test Flight
November 5, 2026
Philo Adds Bravo to Its Streaming Lineup After Years of Subscriber Requests
November 5, 2026