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
- MissionReport benchmark: only 3 of 540 AI-generated government reports pass all criteria — Exp_Mark · 2026-10-27
- Finch 1: a geospatial foundation model trained on imagery from 50+ sensors — Scobleizer · 2026-10-27
- Skyfall AI's SKY-001 world model turns sketches into CAD builds in 3.9s, vs 199s for GPT-6 Astra — rohanpaul_ai · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27
- Researcher flags unresolved data transparency issues in compositionality evals — najoungkim · 2026-10-27
- Separate Forms from Estimators: Why Steer by Difference of Means When You Can Use SGD? — johnhewtt · 2026-10-27