x.com/lu_sichu/status/2097444147485720580
1 correction found
He isn't even posting about the proof.
This is incorrect: Tao did post about the proof itself, summarizing the result and its main ideas on Mastodon and in a blog post.
Full reasoning
Tao was posting about the proof.
- In the Mathstodon post linked to Tao, he wrote: "A remarkable achievement: Alpöge and Buckmaster have managed ... to establish finite time blowup for many key fluid equations" and then described "the broad strategy" of the argument. That is explicitly a post about the mathematical result and how the proof works.
- Tao also published a longer post on his blog on September 7, 2026 titled "Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations". In it, he says he will "write a quick summary of some of the main ideas" and then explains the proof strategy in detail.
So the claim that he "isn't even posting about the proof" is contradicted by Tao's own public posts discussing the result and outlining the proof's core mechanism.
2 sources
- Terence Tao: "A remarkable achievement: Alpöge and Buckmaster h..." - Mathstodon
A remarkable achievement: Alpöge and Buckmaster have managed ... to establish finite time blowup for many key fluid equations ... The broad strategy of the Cordoba--Martınez-Zoroa approach is to iteratively build up solutions ...
- Finite time blowup with smooth forcing term for the incompressible porous medium, Boussinesq, and incompressible Euler equations | What's new
Tao writes that he will "try to write a quick summary of some of the main ideas" and then explains the proof strategy, including how high-frequency corrections are amplified to produce blowup while keeping the forcing term smooth.