In a blog post reported by The Verge, OpenAI claimed to have cracked the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems established by the Clay Mathematics Institute, each carrying a $1 million reward for a correct solution. The problem concerns the equations describing the motion of fluids and gases, and has resisted proof since the 1930s.
OpenAI stated that the solution was achieved using an internal AI system that leveraged 10,000 concurrent agents, though the company has not yet released the proof to the public or submitted it for peer review. The announcement comes amid ongoing debate within the mathematical and AI communities about the verifiability of AI-generated proofs and the implications for the Millennium Prize criteria, which require publication in a peer-reviewed mathematics journal.
The Verge notes that the announcement has generated 'drama' in academic circles, though the full extent of skepticism and scrutiny will likely depend on OpenAI's next steps in making the proof available for examination.