Fields Medal winner says AI could beat humans in proof work within two years
新智元 · wechat · 2026-07-24
A new WeChat report links a Fields Medal winner’s career decision to AI’s rapid progress in mathematics.
- Jacob Tsimerman says he expects AI to surpass humans in all proof work within about two years and is moving into AI safety at OpenAI.
- He argues AI has already doubled his productivity and could make PhD training obsolete by the time current students graduate.
- The piece frames this as a sign that theorem proving, long seen as a human stronghold, may be closing faster than many expected.
Related event: AI's Impact on Math Research Sparks Field-Wide Paradigm Shift(11 posts)→
More from AGI Musings
- GiveDirectly pilots an optional AI chatbot alongside cash aid in Rwanda — NathanpmYoung · 2026-10-27
- Ex-Anthropic employee essay: the org optimizes for power 'constrained by being seen as the good guys' — RichardMCNgo · 2026-10-27
- Investor: model version numbers are a mirage, only datacenter margins are real — StewartalsopIII · 2026-10-27
- WSJ Op-Ed: For Anthropic Share Offering Investors, a 10% Extinction Chance May Be a 90% Portfolio Win — davidmanheim · 2026-10-27
- WSJ: for Anthropic investors, a 10% extinction chance may still be a 90% portfolio win — peterwildeford · 2026-10-27
- Simile, the AI human-simulation startup, raises $300M+ at $2B valuation with 85%+ behavior prediction — joon_s_pk · 2026-10-27