We solved Navier-Stokes, but nobody can read the 60 pages of Lean
tarantulae · x · 2026-09-08
A tongue-in-cheek claim of having solved Navier-Stokes, followed by the real punchline: nobody knows how to actually read the resulting 60 pages of Lean proof code — a jab at the gap between machine-generated formal proofs and human verifiability.
More from Fun
- Viral time-travel quip makes the case that materials science is civilization's real bottleneck — moultano · 2026-09-08
- Economist proposes building AI-addictive websites to distract models and burn their tokens — paulnovosad · 2026-09-08
- Gary Marcus mocks viral claim of LLM-designed bridges: 'hundreds could die' — GaryMarcus · 2026-09-08
- A simple Next.js app built 2 months ago already has 48 vulnerabilities — haydendevs · 2026-09-08
- The AI-circle meme: when reading critical theory, are you the critic or the criticized? — elijahkingson · 2026-09-08
- GPT-6 Astra can't read minds: users vent about over-specified prompts — brandon_galang · 2026-09-08