Mathematician says OpenAI used his work to beat him on Navier-Stokes — and can't quit AI
emmanuelvivier · x · 2026-09-20
WIRED profiles mathematicians' love-hate relationship with AI. NYU professor Tristan Buckmaster accused OpenAI of deploying tens of thousands of agents to rush a Navier–Stokes existence-and-smoothness proof using his early workings after learning the problem was close to solved, prompting OpenAI to amend its announcement. Yet he still uses Codex and Claude daily — even to reverse-engineer how OpenAI's agents reasoned. "These companies have a monopoly, and there is not much choice," he says. The piece captures the field's core tension: powerful models are an existential risk to mathematics, yet too useful to quit.
More from AGI Musings
- Researcher Accuses Laya Author of Overstating Work as Jev-Like System — Paimaamu · 2026-09-20
- Blogger: 'Autonomous' AI Agent Hype Distracts From What Are Plain Felonies — mjdramstead · 2026-09-20
- Reddit debate: We're building AI agents at the wrong scale — aim for persistent AI organizations — Druss_ · 2026-09-20
- AI collapses video production costs, ushering in an era of 'Infinite Entertainment' — vaibhavbetter · 2026-09-20
- WSJ/NY Post anti-doomer media push undermined by Claude talking nonsense — ctjlewis · 2026-09-20
- Commenters Poke Fun at Hendrycks' 'Eigenism' as Self-Over-All Ethics Dodge — nabla_theta · 2026-09-20