After AI claimed a Millennium Problem proof, a mathematician argues it's math's renaissance, not its end
BachFrancis · x · 2026-10-06
JP, a mathematician-turned-AI-founder, responds to the vertigo after OpenAI claimed its AI settled a Millennium Problem (fluid equation blow-up): 28 Fields medallists signed a letter warning mass-produced true-or-false statements could destroy the ground for new ideas; Tim Gowers declined to sign.
From a Platonist stance he disagrees with the pessimism:
- Mathematics is a fixed forest of statements explored on foot for 25 centuries; we now have aircraft
- Machines won't end math but launch its renaissance: AI explores the forest while mathematicians become its interpreters and pathfinders, "the secular theologians of the AI era"
More from AGI Musings
- Critics Slam AI Agent Science Claims: No Reputational Cost for Wasted Compute — ludwigABAP · 2026-10-06
- Number theory paper credits GPT5.6 and DeepMind's Gemini agent for cracking open problems — felpix_ · 2026-10-06
- CS grads face 7% unemployment, worse than philosophy — the cobweb cycle strikes again — aakashgupta · 2026-10-06
- Dev envisions local agent 'rooms' no company owns and no server can read — RileyRalmuto · 2026-10-06
- AI is motion-capturing barbers' craft — which skilled trade gets recorded next? — Void_x7600 · 2026-10-06
- Bold prediction: no closed binaries left by end of next year as AI reverses them all — teortaxesTex · 2026-10-06