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
- Musk: robot RAM demand will dwarf everything else, and 100% of superintelligence compute goes to deep space — elonmusk · 2026-10-27
- Anthropic S-1 warns of AI job displacement as Microsoft offers exit to ~27% of staff — _jaydeepkarale · 2026-10-27
- eigenrobot: 200 years of attempts to replace Christianity have each fared worse than the last — eigenrobot · 2026-10-27
- Replit CEO on the 'self-driving company': agents to absorb coordination costs by 2030 — amasad · 2026-10-27
- US senator slams AI industry for proposing 50-death threshold for 'catastrophic incident' — peterwildeford · 2026-10-27
- Replit CEO Says AI Makes All Software De Facto Open Source; Aakash Gupta Asks What Moats Remain — aakashgupta · 2026-10-27