OpenAI announces solution to Millennium Prize Problem amid controversy

OpenAI announced on Tuesday that its artificial‑intelligence agents have produced a solution to one of the seven Millennium Prize Problems, a set of unsolved questions in mathematics for which the Clay Mathematics Institute offers a $1 million prize for a verified proof. The company’s statement described the breakthrough as the result of a multi‑year research effort that combined large‑scale language models with automated theorem‑proving tools, and it said the proof had been submitted to the Institute for formal verification. The announcement quickly attracted attention from the mathematical community, which noted that the problem in question—identified as the Navier–Stokes existence and smoothness problem—has resisted proof for decades and that any claim requires rigorous peer review before acceptance.

Within hours, several leading mathematicians and members of the Clay Institute raised concerns about the transparency of OpenAI’s methodology, the adequacy of the documentation accompanying the proof, and the absence of an independent validation process. Critics argued that the company’s reliance on proprietary AI systems makes it difficult for external experts to reproduce or scrutinize the work, while others warned that premature publicity could undermine the standards of mathematical verification. OpenAI responded that it will release the full technical details and source code to the research community and that it welcomes collaborative review. The Institute has indicated that it will convene a panel of experts to assess the claim in accordance with its established verification procedures, with a decision expected later in the year.