Did OpenAI Solve the Wrong Navier-Stokes Problem?
Two weeks ago, OpenAI announced that an internal AI system had produced a formal proof addressing the Navier-Stokes existence and smoothness problem, one of seven Clay Mathematics Institute Millennium Prize Problems that each carry a $1 million award for a correct solution. The announcement immediately set off debate across the mathematics community, not just over … Read more