3Blue1Brown amplifies Justin's video on what the Navier-Stokes proof claim actually shows
skdh · x · 2026-09-15
After OpenAI's announcement about a Navier-Stokes proof sparked turbulent reactions, Grant Sanderson (cyantist) shared a video by Justin from Reynko explaining what the proof does and doesn't show, and where the headlines went wrong. Lawrence Krauss also amplified it, noting it ties into a podcast he just recorded with Sabine.
More from Research
- Voodoo Dynamic Quant Goes MIT: Gradient Descent Picks Per-Tensor Quant Levels — 1ncehost · 2026-09-15
- Aphantasia and abstract symbols: new lens on the evolution of human language and culture — abenitezburraco · 2026-09-15
- Hybrid Route: LLMs Synthesize Probabilistic Programs for Sound Reasoning, as Shown in Tenenbaum-Linked Paper — xuanalogue · 2026-09-15
- Probabilistic Programming Defended: Learning Yields Compact Symbolic Program Libraries, Not Numeric Circuits — xuanalogue · 2026-09-15
- FlockMTL DuckDB extension brings LLM and RAG functions directly into SQL — _reachsumit · 2026-09-15
- Tencent Hunyuan's EvolveScaler benchmark drops frontier models to 11.3 median on hardest tier — TencentHunyuan · 2026-09-15