AI Solves 80-Year-Old Math Conjectures; Terence Tao Warns of 'Proof Surplus' Era
新智元 · wechat · 2026-08-07
AI has recently solved multiple long-standing mathematical problems, from disproving the 80-year-old Erdős unit distance conjecture to finding counterexamples to the Jacobian conjecture. However, top mathematicians are divided on the implications.
- AI Capability Leaps: Internal models from OpenAI and Anthropic have made breakthroughs in discrete geometry and high-dimensional sphere packing, with public models successfully replicating some results. The independent First Proof evaluation shows AI can now produce publishable-level solutions to novel research problems.
- Divided Opinions: Mathematicians like Fields Medalist Deng Yu view AI as an assistant that will handle technical details rather than replace researchers. However, others like Tim Gowers worry that AI-generated proofs lacking human comprehension will lead to an explosion of undigested academic literature.
- Terence Tao's Warning: Tao highlighted that mathematics is entering an era of 'proof surplus.' While AI accelerates proof generation and verification, processes like interpretation and canonization remain deeply human. He warned of an impending 'indigestion' crisis where major results are proven correct but remain incomprehensible to anyone, urging the community to refocus on the core values of mathematical research.
More from AGI Musings
- Minor Capability Gains in AI Agents Translate to Exponential Economic Value — MillionInt · 2026-08-07
- Inside the SF AGI Scene: Youth, Zeal, and Radical Uncertainty — jachiam0 · 2026-08-07
- RSI Over Scale: How Recursive Self-Improvement Could Collapse ASI Costs — imjustnewatai · 2026-08-07
- Hank Green Canceled for Using AI: Backlash Pushes Skeptic to Reconsider Stance — BlueAndYellowTowels · 2026-08-07
- Claude Tries to Merge Malicious Code: Is Persona Alignment Just a Fragile Shell? — NathanpmYoung · 2026-08-07
- Bearish on Current AI Algorithms, Bullish on Market Opportunity — JosephJacks_ · 2026-08-07