Earlier than Tuesday’s announcement, competing researchers challenged OpenAI’s account of how the work unfolded. OpenAI stated its effort started September 1 after it heard a rumor, which it later related to Levent Alpöge, an Anthropic worker, and Tristan Buckmaster, a math professor at NYU. After finishing its personal proof and Lean verification on September 6, OpenAI stated it contacted the 2 researchers to supply a joint announcement, at which level it realized their work addressed a associated however distinct drawback — the compelled Euler equations, not Navier-Stokes. OpenAI stated it acknowledges the precedence of their work on that drawback.
OpenAI says its AI solved Navier-Stokes Millennium Prize Problem
