science
OpenAI says its AI system found a Lean-formalized Navier–Stokes singularity proof
OpenAI says an internal multi-agent AI system produced an analytical proof of finite-time singularity formation in a three-dimensional Navier–Stokes flow and formalized it in Lean. The claim is now presented with proof materials for mathematical scrutiny.