HeadlineShine

Axiom Math wants to keep AI slop out of mathematics

TechCrunch ·First reported
TechCrunchAxiom Math wants to keep AI slop out of mathematics
Image: TechCrunch

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.

Summary from TechCrunch

Read the full story on TechCrunch
React

Trending now

Variety
6 sources·

Russell Brand found guilty of rape and sexual assault
Sky News
Sports6 sources·

Cristiano Ronaldo announces retirement from international football
New York Times
7 sources·

Joshua Wong, Hong Kong Democracy Activist, Is Sentenced to 10 Years in Prison

More tech

See all →
TechCrunch
Tech2 sources·

Amazon is getting back into restaurant delivery with Uber Eats team-up
The Guardian
Tech2 sources·

2026 iPad mini review: Maximizing the mini
BBC
Tech5 sources·

Binance says hackers used fake job interviews and an internal AI tool to pull off the $6.3 billion heist
The Verge
TechThe Verge·

The FAA is finally ditching floppy disks
The Verge
TechThe Verge·

OpenAI says its new cybersecurity model is better at not hacking other companies
The Verge
TechThe Verge·

Where is Windows 12?

Top stories in the World

See all →
CNBC
Business2 sources·

Food delivery startup Wonder files for IPO as it explores its next big bite
DW
2 sources·

Paraguay President Santiago Peña resigns
BBC Sport
Sports3 sources·

England’s Harry Kane extends Bayern Munich contract until 2029
BBC Sport
Sports4 sources·

Champions League : Lens suffer historic 9-1 defeat against Como
The Guardian
7 sources·

Bomb threats disrupt several flights across Europe
Al Jazeera
2 sources·

Israel's main Arab list backs Eisenkot to form government after election