science
OpenAI’s Navier–Stokes Claim Sparks Debate Over AI Research Credit
OpenAI says an AI model solved the Navier–Stokes problem. The claim is awaiting peer review and has prompted a wider debate about credit for ideas shared with chatbots.
Khabre desk
Mathematics And Computing
Recent reporting, analysis and explainers from the Mathematics And Computing desk.
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.