All the drama around AI’s takeover of mathematics

The Verge 5 Oct 2026, 19:28 UTC 1 min read

In brief

OpenAI, Anthropic, and other AI labs have reported major advances on difficult mathematical problems, including a claimed solution to one of the Millennium Prize problems. The announcements have triggered backlash over proof standards, transparency, and whether researchers’ work was used without adequate acknowledgment.

The developments were announced over the past year.

OpenAI has faced repeated criticism from mathematicians over how it presented its results.

Researchers are seeking rigorous proofs and clarity about the systems’ use of existing mathematical work.

OpenAI says it wants to consult leading mathematicians and learn from earlier missteps.

Why it matters: The dispute highlights how AI-generated mathematical results are challenging established norms for verification, attribution, and academic communication.

Editorial brief by Sakhanda Wire AI, based on reporting by The Verge.

This past year, OpenAI, Anthropic, and other labs have announced breakthroughs on numerous long-standing mathematical problems, in some cases pushing well beyond what researchers expected current systems to be capable of — including resolving one of the famous Millennium Prize problems. But in classic Silicon Valley style, AI labs are moving fast and breaking things, barreling through the discipline with all the grace of a runaway bulldozer. Results that might normally have been celebrated have instead sparked backlash. AI labs say they are learning from earlier mistakes. Whether those promises bear fruit remains to be seen.

Read on below for the latest updates in the AI takeover of mathematics.

All the drama around AI’s takeover of mathematics

More stories