Lean formal proof

AI Cracked a 100-Year Math Problem. Why Is Weather Still Hard to Predict?

OpenAI says it found conditions under which the Navier-Stokes equations break down, and released 722 manuscripts with computer-checked proofs. What it solved is a specific counterexample, not turbulence in general.

Life & WorldOctober 23