OpenAI's mystery model cracks key Navier-Stokes problem, math's 'AlphaGo moment'
新智元 · wechat · 2026-09-08
NYU mathematician Tristan Buckmaster says an internal OpenAI model, likely a next-gen 'Bel', has produced a 100-page proof for the force-driven blowup case of the Navier-Stokes equations — one of the Millennium Prize Problems.
The same day, Buckmaster and Anthropic researcher Levent Alpöge released three results (porous medium, Boussinesq, 3D Euler equations) achieving finite-time blowup under smooth forcing with LLM assistance, with papers and Lean formalization code public. Terence Tao praised the work and explained the perturbation-based construction, while cautioning viscosity remains the key obstacle to reaching full Navier-Stokes.
A dispute is brewing: Buckmaster claims OpenAI twice asked him to remove Alpöge's authorship because he works at Anthropic, and left questions about whether user data trained the model unanswered. If the proof holds, this could be AI's 'AlphaGo moment' for mathematics.
More from Models
- LinkedIn Is LLMs' #2 Cited Site — Your Posts Are Becoming AI Knowledge — jaindl · 2026-09-08
- Dev prefers Fable 5.1/5.6 Sol for planning and coding, eyes Grok 4.7 next — iannuttall · 2026-09-08
- Minimax H3 speedup modes strip realism, full steps needed for production — Choiced_Gamer · 2026-09-08
- User burns 40% of weekly GPT 6 Astra limit in 11 hours, complaining quotas drain fast — iScienceLuvr · 2026-09-08
- AI dictation still lags human voiceover: even SOTA ElevenLabs tires on long content — ethanniser · 2026-09-08
- Blogger: Of course OpenAI reads your 'private' Codex logs and stealth-nerfs models — Linahuaa · 2026-09-08