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
- AI-era authorship looks weaker as a signal of real ability — CsabaSzepesvari · 2026-07-23
- Banning Kimi Would Actually Boost Its IPO and Nationalist Narrative — SumitGup · 2026-07-23
- Antirez says mathematicians should lead LLM-friendly open problems — antirez · 2026-07-23
- Harvard’s AI-and-work series asks what humans still do better than AI — garrytan · 2026-07-23
- Open-source AI frameworks should route queries by fit, not price — 0xsachi · 2026-07-23
- 23 U.S. state bills target AI personhood as debate shifts to consciousness — cccalum · 2026-07-23