The part of Navier-Stokes no one is talking about
- Navier-Stokes: 4 events in the last 90 days
- Previous: 1 days earlier · OpenAI claims to have solved maths problem that stumped humans for decades: Company behind ChatGPT says 10,000 of its AI systems cracked the Navier-Stokes problem in 88 hours
What happened
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
Summary assembled by rule from the sources below