Mathematicians react to OpenAI's Navier‑Stokes proof claim
Wired reports that mathematicians are debating what OpenAI's claimed brute-force solution to the decades-old Navier-Stokes problem, achieved using thousands of agents, means for the field.
OpenAI has said it used thousands of AI agents to solve the Navier-Stokes existence and smoothness problem, Wired reported. The problem is a decades-old puzzle about fluid-flow equations. Mathematicians have pursued it for its own sake, not for any engineering use. OpenAI's account of the proof has not been checked by anyone else.
Mathematicians told Wired the claim unsettles a field that has long resembled artistic exploration more than a race to an answer. Jared Speck, a mathematician at Vanderbilt University, said engineering was never the equations' main appeal. He said the appeal lay in the problem's "mathematical richness."
OpenAI's approach shortcut the deliberate process mathematicians follow to develop new ideas, Wired reported. Some compared it to how AI has already disrupted music and other creative fields. "The artists and the musicians have already gone through this," said Juspreet Singh Sandhu of Colorado State University.
The Navier-Stokes equations describe the flow of viscous fluids. Engineers use them to model airflow for aircraft design, but mathematicians have studied the equations for their puzzle-like appeal instead. The English mathematician Hardy made a similar argument in his 1940 essay "A Mathematician's Apology."