OpenAI's internal model 'Bel' reportedly produced a ~100-page Navier-Stokes proof
imjustnewatai · x · 2026-09-08
Mathematician Tristan Buckmaster says he was told that OpenAI's internal model 'Bel' solved the forced case of the Navier-Stokes equations — the case covered by Clay's Millennium Prize problem — producing a roughly 100-page proof. He has not yet seen the proof. If verified, it would be a landmark AI-for-math breakthrough, but it remains unverified and unreviewed.
Related event: Rumors swirl that OpenAI solved the Navier-Stokes millennium problem(25 posts)→
More from Models
- DeepSeek spotted gray-testing two V4-Flash-Vision models, one faster but weaker — teortaxesTex · 2026-09-08
- GPT-6 Astra demos roundup: livestreams, retro games, 3D scenes and full websites — aitrendz_xyz · 2026-09-08
- DeepSeek V4.1 Flash beta goes live with new architecture, native multimodality, up to 507 tokens/s — 智东西 · 2026-09-08
- Grok 4.6 ranked #2 on AutomationBench-AA, beating Claude, GPT-5.6 and Kimi — XFreeze · 2026-09-08
- OpenAI API users report day-long outages: searches hang 30 minutes then drop with no output — msch6873 · 2026-09-08
- DeepSeek V4.1 Flash Survey Asks If It Can Fully Replace Production V4 Pro — zephyr_z9 · 2026-09-08