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
- Noncommutative Analysisnoncommutativeanalysis.wordpress.com
- Formalizing Fermat's Last Theoremanthropic.com
- As Rocks May Think | Eric Jangevjang.com
- [2509.14185] Discovery of Unstable Singularitiesarxiv.org
- AI may have just solved a million-dollar math problem. The field will never be the samescientificamerican.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Vibe physics: The AI grad student \ Anthropicanthropic.com
- FLT: Anthropic has beaten me to itxenaproject.wordpress.com
- rsrch spacersrch.space
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com