OpenAI claims solution to Navier-Stokes millennium problem; Wolfram visualizes the 150-page proof
_onionesque · x · 2026-09-18
Wolfram Japan relayed an announcement that OpenAI claimed on Sep 8, 2026 to have found a solution to the Navier-Stokes equations, one of the Millennium Prize Problems, via a proof exceeding 150 pages.
A companion article uses Wolfram Language visualizations to walk through the proof. This is third-party relay — the verification and peer-review status remain unclear.
More from Research
- PixelBench: testing multimodal models pixel-by-pixel instead of with QA — bdsqlsz · 2026-11-04
- François Chollet: modeling brain wiring as an engineering problem constrained by genome size and time — CatAstro_Piyush · 2026-11-04
- OffsecCyber dataset combines HackerOne reports and CVEs to train pentesting LLMs — AccBalanced · 2026-11-04
- Monofact rate in training data governs LLM scientific discovery, preprint finds — CatAstro_Piyush · 2026-11-04
- qwenTPU compiles a TPU into Qwen3.5 weights, achieving exact integer matmul — CatAstro_Piyush · 2026-11-04
- Jev model improves ICL demonstration retrieval via distillation into a lightweight MLP — kalyan_kpl · 2026-11-04