
OpenAI Says It Solved Navier-Stokes. The Math World Wants the File First.
OpenAI claims its AI agents produced a Lean-verified proof of finite-time blowup for a forced form of the Navier-Stokes equations. But quest...

OpenAI claims its AI agents produced a Lean-verified proof of finite-time blowup for a forced form of the Navier-Stokes equations. But quest...