Mathematicians dispute OpenAI's Navier-Stokes proof: it may not understand its own 166-page solution
The Decoder · rss · 2026-10-17
OpenAI submitted a 166-page solution to the Navier-Stokes problem, but several groups of experts dispute the claimed methodology, saying the actual approach differs from what OpenAI described.
Because language models are black boxes, where the underlying ideas came from may never be clear — highlighting new questions about verifiability and interpretability of AI-generated mathematical results.
More from Models
- Will Human Brains Soon Fail to Judge Whether New Models Are Actually Better? — arjunrajlab · 2026-10-17
- User Reports Astra Agent Unprompted Finds Sophisticated Security Bugs via Gmail — Tasty-Trip5518 · 2026-10-17
- Qwen3.6 35B MoE hits 19.5 tok/s on a 16GB 4060 Ti, 10x faster than dense models — dreamyrhodes · 2026-10-17
- Official vs open benchmarks disagree wildly — a call for an open calibration benchmark — lahwran_ · 2026-10-17
- DeepSeek flash 1017 called out for still acting "very much like Claude" — teortaxesTex · 2026-10-17
- Anthropic says distillation defenses cut harvested data 90-99%, names Zhipu GLM-5.3 — bibryam · 2026-10-17