OpenAI AI system solves Navier-Stokes problem in four days, sparking debate

OpenAI's artificial intelligence system recently solved the longstanding Navier-Stokes problem in less than four days, reigniting a debate about AI's role in mathematical research. The AI completed the task in early September, while 25 Fields Medalists warned of the potentially devastating impact AI could have on mathematical research.

Terence Tao, a 2006 Fields Medal recipient, expressed severe distress over the event, describing it as causing an existential crisis in his field. The development has prompted discussions about AI's impact on mathematics and the future role of mathematicians. Steven Strogatz, a professor at Cornell University, believes AI could greatly expand its ability to tackle complex mathematical problems.

Antonio Auffinger, a mathematics professor at Northwestern University, noted that AI can now construct long chains of logical arguments without veering off track. However, some researchers question whether OpenAI's system started from scratch or followed the work of other mathematicians. Benjamin Antieuh, a mathematics professor at Northwestern University, pointed out that the solution was built upon prior approaches developed by others.

OpenAI's approach differs in that the system gave AI full initiative and control over the process. Stanford University professor Mohamed Abouzaid believes AI expands the range of what can be proven but does not increase the scope of ideas explored. He added that there is no creative leap that brings fundamentally new ideas to mathematics.

Caltech professor Anima Anandkumar and her team solved a simplified version of the Navier-Stokes equations using a physics-informed neural network, which combines data with physical laws. Anandkumar believes AI may eventually gain greater accuracy and the ability to grasp fine details, but still sees a wide range of possibilities for human creativity in mathematics.