Terence Tao's post, curated on eChai

Tao had read the papers before they were public and spoke to Buckmaster on the phone about them, which he notes made a refreshing change from AI-based communication modalities. This is the assessment everything else that day is arguing around. In the second half he adds that nothing in principle seems to stop the method reaching Navier-Stokes, and that battering out such an extension with enormous compute does not particularly hold his interest.

Terence Tao, in mathstodon.xyz

A remarkable achievement: Alpöge and Buckmaster have managed to push one of the major promising approaches towards constructing blowup solutions to fluid equations --- as developed by Cordoba and Martınez-Zoroa --- to establish finite time blowup for many key fluid equations, including 3D incompressible Euler, with a smooth forcing term. The arguments have been formalized in Lean.

Read it in full on mathstodon.xyz →