Report: OpenAI's internal model 'Bel' produced a ~100-page proof for Navier-Stokes
imjustnewatai · x · 2026-09-08
OpenAI's internal model reportedly codenamed 'Bel' has tackled the Navier-Stokes problem: mathematician Tristan Buckmaster says he was told it produced a roughly 100-page proof for the forced case covered by Clay's Millennium Problem.
- Unverified: Buckmaster has not yet seen the proof
- If true, this would be a first — AI generating a candidate proof at Millennium Prize Problem level
More from Research
- Terence Tao blogs on Buckmaster and Alpöge's blow-up solutions to fluid equations — LucaAmb · 2026-09-08
- ECCV 2026 to Host Interactive Social Avatars Workshop With Keynotes From Andrew Zisserman and More — JonathonLuiten · 2026-09-08
- Building an active monitor for a black-box LLM: where to draw the automation line — Particular-Roof4257 · 2026-09-08
- NYU mathematician says LLMs helped crack fluid blowup problems in a month, accuses OpenAI of scoop and authorship pressure — dotey · 2026-09-08
- EmbodiedSkills: A Unified Framework for Orchestrating VLA Robot Agents — Wei Wang · 2026-09-08
- One Symptom, Three Levers: A Critical Review of On-Policy Self-Distillation — OVHaiLLM · 2026-09-08