Published a candidate solution to the Navier–Stokes Millennium Problem

On September 9, 2026, American scientist OpenAI announced that it had solved the Millennium Problem of the Navier-Stokes equations, releasing a solution involving 165 pages of Lean formal verification. The proof was achieved through collaboration between approximately 10,000 agents over 88 hours, consuming about 130 billion output tokens. Previously, New York University professor Tristan Buckmaster and Anthropic mathematician Levent Alpöge had privately collaborated for a year to prove three related fluid mechanics equations using a similar method. After rumors circulated on September 3 that Anthropic had solved the problem first, OpenAI’s internal team began to participate in the research. Currently, Buckmaster refuses to remove Alpöge from the list of authors, and both parties are in dispute over issues related to attribution and data use. OpenAI states that human involvement was minimal, but it cannot completely rule out the possibility that users may have used deidentified data to help improve the model.