AIThe Next Webabout 1 hour ago
OpenAI claims Navier-Stokes proof, no file released
1 min read
OpenAI says an internal model proved 3D Navier-Stokes can develop a finite-time singularity, using about 10,000 agents over 88 hours at millions of dollars in cost. The proof remains unpublished. Tristan Buckmaster and Levent Alpöge posted machine-checkable Lean formalisations for related equations.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyOpenAI
Summary by ByteBrief
