Mathematicians dispute whether OpenAI's Navier-Stokes proof solved the real problem

OpenAI announced a proof addressing the Navier-Stokes problem, one of the Clay Mathematics Institute's Millennium Prize challenges, generated with help from an internal large language model. Mathematicians, including Luis Silvestre of the University of Chicago, argue the proof relies on introducing an external force that alters the equations into a version disconnected from real fluid behavior. Three mathematicians have since posted their own proof showing OpenAI's method cannot be extended to resolve the original, unmodified problem.