Axiom Math wants to keep AI slop out of mathematics

November 5, 2026 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.

Previous Article
Food delivery startup Wonder files for IPO as it explores its next big bite
Food delivery startup Wonder files for IPO as it explores its next big bite

Following years of fundraising, acquisitions, and expansion, food delivery startup Wonder is moving closer ...

Next Article
Bluesky hit peak usage for the year on election night
Bluesky hit peak usage for the year on election night

Bluesky CEO Toni Schneider said posts and likes doubled during to the U.S. midterm elections on Tuesday.