OpenAI shares agent-produced proof of Navier-Stokes Millennium Prize problem
solved by a town of geniuses in a datacenter (~10k agents).
AISummary
OpenAI says a group of agents using an unreleased next-generation model produced a solution to the Navier-Stokes Millennium Prize Problem. The problem asks whether smooth three-dimensional fluid motion described by the Navier-Stokes equations can break down, and it has remained unresolved for roughly 90 years. The author, Mckay Wrigley, reposted the claim with his own remark about roughly 10k agents working in a datacenter.
AIWhy it matters
The quoted OpenAI post makes a major mathematical claim about the Navier-Stokes problem, so readers should weigh it against the proof's verification status.
Source: Mckay Wrigley · x.com