Fields Medalist Tests ChatGPT: Solves PhD-Level Math Proofs in Under 2 Hours
新智元 · wechat · 2026-07-23
As LLM capabilities surge, AI is upending mathematical research. Fields Medalist Timothy Gowers found that ChatGPT solved cutting-edge math problems in under two hours, generating proofs deemed entirely original by the authors of the papers being improved.
AI Cracks Research-Level Problems
- Gowers tested ChatGPT on a combinatorics problem. The model compressed an exponential bound to a polynomial level in minutes and generated a formal preprint.
- Isaac Rajagopal, the author of the original paper, confirmed that the AI's approach was not only correct but a highly original insight.
- An internal OpenAI reasoning model also recently disproved Erdős's 1946 unit distance conjecture, shifting a decades-long consensus.
The Academic System Faces Shockwaves
- Top scholars, including xAI co-founder Christian Szegedy, suggest that as AI contributions dominate, the Fields Medal may lose its original meaning, predicting this boundary will last only until 2030.
- Gowers noted that if AI generates the core ideas and technical proofs for major theorems, the era of attaching a human name to a theorem is ending.
- Mathematicians like Terence Tao are already changing their workflows, unable to keep up with AI-generated proofs, and suggesting separate publication venues for AI versus human mathematics.
More from AGI Musings
- VC compares AI doom rhetoric to pandemic-era fear messaging — StewartalsopIII · 2026-09-11
- Anthropic Insiders: Not Everyone at the Lab Believes in High p(doom) — anpaure · 2026-09-11
- Could 10k agents discover learning methods beyond backprop, or just tweak existing ones? — SeunghyunSEO7 · 2026-09-11
- AI companionship dissolves the friction real intimacy needs, warns long-form thread — YogeshMalik · 2026-09-11
- Why So Many AI Researchers Think the Machines Could Kill Everyone — wiredmagazine · 2026-09-11
- 'Hallucination' Is a Category Error: Naming AI 'Intelligence' Limits Our Imagination — Genaforvena · 2026-09-11