Terence Tao Says AI Proofs Mark the Arrival of Mathematics 2.0

What happened

Terence Tao argues that AI is making mathematical proofs abundant, ending a Mathematics 1.0 era built on proof scarcity. He warns that solving problems is not the same as understanding them, calls for reporting failed attempts and compute costs, and says the bottleneck for Mathematics 2.0 is imagination. He also questions whether a PhD still matters when answers come easily.

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

Trending now

1. 1Meta Releases Muse Spark Open With Mac and Cloud Support, Topping US Open-Weight Index
2. 2Google Launches Gemini 4 Argon Globally, Expands Paid Access as Benchmark Results Vary
3. 3OpenAI Updates GPT-6 Astra Pro in ChatGPT With Parallel Agents and Faster Responses
4. 4Meta’s New Business Terms Raise Dispute Over Website Crawling and AI Training Rights