HomeAI · summaries
Storia in 2 fonti
Navier–Stokes Blows Up, and the Blow-up Is a Vortex You Can Picture
OpenAI published a Lean-verified proof that the 3D Navier–Stokes equations can develop a singularity in finite time. Five things the headlines skip: the model wasn't Astra, the break happens exactly where the fluid stops being a fluid, the solution is a spinning skater, a shelf of conditional theorems just changed status, and the route was opened in Madrid by two mathematicians nobody is paying.
Confronto fonti
2 prospettive sulla stessa storiaTimeline cronologica
- ·
thenextweb.com
OpenAI says it solved Navier-Stokes. Nobody has seen the proof.
OpenAI announced a Navier-Stokes proof on a press call. The mathematicians it is disputing with published Lean formalisations
- ·
dev.to
Navier–Stokes Blows Up, and the Blow-up Is a Vortex You Can Picture
OpenAI published a Lean-verified proof that the 3D Navier–Stokes equations can develop a singularity in finite time. Five things the headlines skip: the model wasn't Astra, the…