Tao's reservations on future AI-only solutions to NS finite-time blowup problem | Dark Hacker News