statement.pdf
cims.nyu.edu · 1,876 words · saved by 5 readers
N/A
Today, Levent Alpöge and I have made public three results: finite-time blowup with smooth forcing for incompressible porous media, for Boussinesq, and for 3d incompressible Euler. We believe we also have blowup for hypo-dissipative Navier-Stokes. We are not releasing that paper today: unlike the above, the Lean verification has not yet finished. We do not yet have anything resembling a presentable writeup. I mention it because it is suggestive of a path to unforced Euler. The program this fits into was not started by us nor was it proposed by a Large Language Model. The credit for…
saved by
related reading
- OpenAI and Navier-Stokesandrewwu.substack.com
- OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foulwired.com
- Google "We Have No Moat, And Neither Does OpenAI"semianalysis.com
- levent (@__alpoge__) on Xx.com
- Did OpenAI solve the wrong Navier-Stokes problem?scientificamerican.com
- Reaping without sowing – Tobias J. Osborne's research notestjoresearchnotes.wordpress.com
- AI may have just solved a million-dollar math problem. The field will never be the samescientificamerican.com
- Formalizing Fermat's Last Theoremanthropic.com
- Vibe physics: The AI grad student \ Anthropicanthropic.com
- [2602.05192] First Proofarxiv.org
- Priest, Monk, and Mathematicianlogangraves.com
- The fall of the theorem economydavidbessis.substack.com