Navier-Stokes AI claim sparks math world backlash: 'ad hoc forcing, not a solution'
basedjensen · x · 2026-09-09
A viral claim that AI agents essentially cracked Navier-Stokes has triggered fierce pushback. Critic @BetterCallMedhi argues the feat was just 10,000 agents running 88 hours on a multimillion-dollar GPU cluster to formalize in Lean a blowup case under a controlled external forcing term — while the Clay Millennium Prize asks about global smooth existence and stability of 3D incompressible Euler/Navier-Stokes under natural conservation laws alone. @theo quipped the science world is having its 'AI can't ACTUALLY code' crash-out moment.
Related event: OpenAI's Navier-Stokes Proof Sparks Fierce Debate in Math Community(18 posts)→
More from Fun
- Simple CPG motion neural network generates music that stabilizes into a periodic pattern — Syntetisaattori · 2026-09-09
- Dennis Hong's robotic art piece debuts at Ars Electronica 2026 in Linz — DennisHongRobot · 2026-09-09
- Viral AI meme sparks pushback over real-world animal safety concerns — AndrewCritchPhD · 2026-09-09
- User extracts hidden system prompts by spawning subagents — Aryvyo · 2026-09-09
- At a SF founder meetup all 20 founders lived in SF — none in Miami, Austin or NYC — saibharadwaj · 2026-09-09
- Reddit user wonders why Meta's new AI product Muse is getting zero attention — farsightfallen · 2026-09-09