OpenAI's Navier-Stokes AI Proof Puts Mathematics' Human Methods Under Pressure

OpenAI's claim that an internal AI system resolved the Navier-Stokes existence and smoothness problem has turned a landmark mathematics result into a test of how the field should handle machine-generated discovery. The company says about 10,000 coordinated agents found a proof in 88 hours, while mathematicians and institutions are now weighing not only whether the argument is correct, but what kind of understanding it leaves behind.