"No human has read OpenAI's Navier-Stokes proof" — critic refuses to call it proven
janarhertz · x · 2026-10-08
Hernán López argues that despite ChatGPT's rapid progress on mathematical proofs, no human has yet claimed to have read and understood OpenAI's Navier-Stokes proof, and Lean now appears to have formalized something else. His conclusion: "I don't consider it proven." The post touches on the debate over whether formal verification equals mathematical proof when no human can follow the argument.
Related event: Scholars Question Whether Anyone Understands OpenAI's Navier-Stokes Proof(2 posts)→
More from Research
- Meta's RoboJEPA: 8B-parameter robot world model reveals first multi-embodiment scaling law — meta · 2026-10-09
- Inherit-MAS cuts multi-agent token use by up to 34.6% with evolution-inspired inheritance — Songtao Wei · 2026-10-09
- Zero human labels: auto-generated soccer tracking dataset hits 62.5 HOTA, beating fine-tuned FairMOT — RexDouglass · 2026-10-09
- Why AI doesn't actually read words: from BPE subwords to byte-level models like BLT and H-Net — jbhuang0604 · 2026-10-09
- NVIDIA details HSTU recommender inference stack with up to 5.93x lower latency — PyTorch · 2026-10-09
- Preprint: LLMs store numbers as curves and helices, but compute comparisons differently — tweetsatpreet · 2026-10-09