Tech

Axiom Math wants to keep AI slop out of mathematics

TechCrunch By Aditya Mehta Nov 5, 2026 · 10:16 AM 0 views 0 comments

Axiom 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.

TechCrunch Original story · techcrunch.com

Read the full story

How does this story make you feel?

👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

TechCrunch + Follow

Section: Tech + Follow

Up next from TechCrunch

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.

TechCrunch 9 hours ago

Show HN: Axiom, a general-purpose model for causal discovery

Hacker News (Newest) Oct 15, 2026

Tech

25% of Incoming Pull Requests May Be AI Slop, Finds Study From Linux Foundation Research

Slashdot Oct 25, 2026

Tech

Show HN: A directory for AI-slop games

Hacker News (Newest) Oct 26, 2026

Discussion (0)

More to read

An NYU professor says OpenAI's mass release of math papers wiped out early-career researchers' projects

Ask HN: Are LLMs Solving Math?

This San Antonio elementary’s math scores soared this year — a pattern East Central ISD hopes to replicate