Mathematicians react to OpenAI's release of 700 claimed math proofs
"How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field
- Who
- openai
- What
- released over 700 mathematics manuscripts on GitHub
- When
What happened
OpenAI released more than 700 manuscripts on October 6, 2026, claiming solutions to hundreds of open math problems, and the blog Proofs and Prompts collected over 100 researcher responses. Some papers were withdrawn or criticized as hard to read, while Fields Medalists Peter Scholze and Terence Tao urged patience and solidarity. Many mathematicians described shock, paralysis and fears about their profession.
Why it matters
The piece gathers mathematicians' first reactions to OpenAI's mass release of claimed proofs, showing how the field's norms and careers are being tested.
The story so far
OpenAI released more than 700 mathematics manuscripts on GitHub claiming solutions to hundreds of open problems, prompting researcher scrutiny and an effort to turn the problems into open-source reinforcement learning environments on Hugging Face. The Decoder reported that some manuscripts were withdrawn or criticized as hard to read, while the blog Proofs and Prompts collected more than 100 researcher responses. Mathematicians described shock and fears about their profession; Fields Medalists Peter Scholze and Terence Tao urged patience and solidarity. Tao argued that AI is making proofs abundant, but warned that solving a problem is not the same as understanding it, according to QbitAI. He called for reporting failed attempts and compute costs, and said imagination would become the bottleneck in what he called “Mathematics 2.0.” Clément Delangue said his team had converted OpenAI’s math problems into open-source reinforcement learning environments available on Hugging Face. He described the environments as early and rough: their verifier accepts only the exact original formalization, so an equivalent proof can still receive a score of zero.
Keep reading
Latest daily · Issue 24NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation PipelineTrending now
- 1Meta Releases Muse Spark Open With Mac and Cloud Support, Topping US Open-Weight Index
- 2Google Launches Gemini 4 Argon Globally, Expands Paid Access as Benchmark Results Vary
- 3OpenAI Updates GPT-6 Astra Pro in ChatGPT With Parallel Agents and Faster Responses
- 4Meta’s New Business Terms Raise Dispute Over Website Crawling and AI Training Rights
Tomorrow at 08:00, a briefing like this arrives in your inbox.
The same kind of briefing as the one above: a few stories worth reading. Free. Mail starts after you confirm, and every letter has a one-click unsubscribe. Read a past issue · 2026-10-17