Axiom Math wants to keep AI slop out of mathematics

Published on November 5, 2026
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.
Continue reading on website
Other news

Bluesky hit peak usage for the year on Election Night

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

Harbinger raises $240M after expanding into defense

November 5, 2026
The Los Angeles-based startup has now raised more than $650 million, and is working on electric trucks, emergency vehicles, and a driverless platform for the military.