AIKDnuggetsabout 2 hours ago
OpenAI Agents Claim Navier-Stokes Proof in 88 Hours
8 min read
OpenAI says roughly 10,000 concurrent AI agents produced a proposed solution to the Navier-Stokes Millennium Prize problem about 88 hours after starting, followed by 17 hours of Lean verification. The result addresses only the forced three-dimensional case, not the unforced question. Credit disputes followed with mathematicians Tristan Buckmaster and Levent Alpöge, whose earlier Euler work used Codex.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyOpenAI
