On the Navier–Stokes Millennium Prize Problem
Simon Willison’s Weblog 1 month ago 20 ● 21 sources
OpenAI used internal agent systems and large language models to reach and formally verify a result related to the Navier–Stokes Millennium Prize Problem after hearing rumors of Millennium Prize resolutions. The agents launched on September 1 and arrived at their resolution about 88 hours later, using 130 billion output tokens on Navier–Stokes. The dispute shifts to priority and possible data influence questions, while OpenAI says it did not access user data and still questions whether de-identified usage could have indirectly helped.
