Seonglae Chocdn.openai.com
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
https://openai.com/index/navier-stokes-solution/
blow up
cims.nyu.edu
https://cims.nyu.edu/~tristanb/euler.pdf