AI accounts for 87% of top math discoveries in 3 years, humans just 13%
willdepue · x · 2026-10-07
The author asked GPT 6 Pro and Fable 5.1 to rank major math discoveries from the past three years — 87% were made by AI, only 13% by humans, with 59% released that same day.
Highlights:
- 🔴 Finite-time blowup for 3D incompressible Navier–Stokes with smooth forcing (Clay statements C/D), by an OpenAI internal multi-agent model, Lean-formalized (2026).
- 🟢 The rational Hodge conjecture for CM abelian varieties, the quasi-Riemann hypothesis (Dirichlet L-functions zero-free in Re s > 7/8), the Unique Games Conjecture, undecidability of Hilbert's tenth problem over Q, and the log abundance conjecture all credited to the openai/math family (2026).
- 🔵 The flagship human result: geometric Langlands (de Rham, unramified) by Gaitsgory, Raskin et al., 2024.
The author's reaction: "wtf" — 81% of the listed AI results dropped the same day.
Related event: GPT 6 Pro Ranks Three Years of Math Discoveries: 87% by AI(3 posts)→
More from Fun
- DevDayer flashes OpenAI's DevDay Gameboy to get RuneScape running on it — JasonBotterill · 2026-10-07
- From idea to working 'dots photo booth' in 48 hours at OpenAI DevDay after-party — gabrielchua · 2026-10-07
- Paul Allen overheard Gates plotting to dilute his stake during cancer treatment—kept shares, worth $40B — SumitGup · 2026-10-07
- AI community meme: 'something keeps degrading human task performance over time' — repligate · 2026-10-07
- "Bot Babies": an AI-generated kids' show surfaces on Reddit — ScriptLurker · 2026-10-07
- Ex-NVIDIA engineer tells the story of testing a chip with a broken memory controller — blelbach · 2026-10-07