OpenAI mistranslated mathematics into code for its Navier-Stokes proof
danielmorozoff · hn · 2026-10-10
New Scientist reports that OpenAI's claimed Navier-Stokes proof contained errors in the step where mathematics was translated into executable code, raising questions about the verification process behind the result and fueling broader debate in the math community about the value of AI-generated proofs.
More from Research
- Datology releases Zephon, a deterministic on-the-fly dataloader born from MosaicML Streaming's legacy — josh_wills · 2026-10-10
- Claude Code agents beat torch.compile on CUDA kernels: 2.5x fused GELU, 1.57x matmul via fp32-splitting trick — lmoroney · 2026-10-10
- ResLRB: constant-memory differentiable light tracing via stochastic graph compression — ssh4net · 2026-10-10
- Tsinghua's TokenRouter: Token-Level LLM Routing Hits Up to 64.15X Serving Throughput — rohanpaul_ai · 2026-10-10
- SpliceAI2 deep dive: splice graphs and DP reconstruct top transcripts for 82% of held-out genes — anshulkundaje · 2026-10-10
- OpenAI publishes 722 math manuscripts covering 372 open-problem results from internal model — FinanceYF5 · 2026-10-10