ReportingVerified newsroom

Axiom Math wants to keep AI slop out of mathematics

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.

TechCrunch AI· Aditya Mehta·Thursday, November 5, 2026 at 4:16 PM UTC

OpenAI

Frontier AI lab · OpenAI

Fetching source· Pulling live content from techcrunch.com…

Company hub:OpenAI News →

Read original →

More from OpenAI

ReportingThursday, November 5, 2026 at 5:00 PM UTC
Grimes is going to star in an AI movie that’s coming to theaters
The Verge AI
ReportingThursday, November 5, 2026 at 5:00 PM UTC
OpenAI says its new cybersecurity model is better at not hacking other companies
The Verge AI
ReportingThursday, November 5, 2026 at 3:19 PM UTC
Dropbox acquires Tigris Data for $350M to bolster its AI infrastructure
The deal is expected to support the development of DBX Agent Cloud, a new storage platform aimed at developers building AI models and agents.
TechCrunch AI
ReportingThursday, November 5, 2026 at 3:14 PM UTC
Hugging Face CEO just told Sam Altman and Dario Amodei: You need to do more than just telling the world t - The Times of India
Hugging Face CEO just told Sam Altman and Dario Amodei: You need to do more than just telling the world t The Times of India
Clément Delangue (Google News)
ReportingThursday, November 5, 2026 at 3:00 PM UTC
The hidden supply chain costs of the AI boom
The Verge AI
ReportingThursday, November 5, 2026 at 3:00 PM UTC
You can post AI music straight to SoundCloud from ElevenLabs
The Verge AI

Axiom Math wants to keep AI slop out of mathematics

Grimes is going to star in an AI movie that’s coming to theaters

OpenAI says its new cybersecurity model is better at not hacking other companies

Dropbox acquires Tigris Data for $350M to bolster its AI infrastructure

Hugging Face CEO just told Sam Altman and Dario Amodei: You need to do more than just telling the world t - The Times of India

The hidden supply chain costs of the AI boom

You can post AI music straight to SoundCloud from ElevenLabs