Terence Tao a few hours ago on Alpöge and Buckmaster’s new math breakthrough. TL;DR: “a remarkable achievement” “rhe arguments contain significant Al input, although the authors have been working extensively in the past few weeks to rework them into an acceptable form.” “they had to release far earlier than planned due to external events” “there does not seem to be anything in principle preventing the methods from extending all the way to Navier-Stokes” “at this point, I would not be…