Technology · en

Axiom Math wants to keep AI slop out of mathematics

TechCrunch · Nov 5, 2026, 4:16 PM UTC

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.

South Africans head to the polls, Meloni wants to keep wealthy people in Italy, Russia’s return to the ice draws causes controversy

Exclusive: Aina’s Smart Ring Wants to Be a Remote Control for Your AI Agent

Nintendo's biggest ROM chip supplier is bowing out of the business

Google Is Forcing AI Overviews in Classrooms. Schools Are Searching for a Way Out

Knives Are Out in the White House

OpenAI acquires Pierre Computer Company to make Git keep up with AI coding agents

Axiom Math wants to keep AI slop out of mathematics

Related index pages

South Africans head to the polls, Meloni wants to keep wealthy people in Italy, Russia’s return to the ice draws causes controversy

Exclusive: Aina’s Smart Ring Wants to Be a Remote Control for Your AI Agent

Nintendo's biggest ROM chip supplier is bowing out of the business

Google Is Forcing AI Overviews in Classrooms. Schools Are Searching for a Way Out

Knives Are Out in the White House

OpenAI acquires Pierre Computer Company to make Git keep up with AI coding agents