Scott Aaronson writes on his blog tonight that he has heard rumors that the AI companies have reached solutions to some very longstanding open problems in theoretical computer science, and are now sitting on multiple major announcements because of the Navier-Stokes firestorm.

Scott Aaronson's blog mentions rumors that AI companies have solved long-standing theoretical computer science problems, with multiple major announcements pending. Greg Brockman of OpenAI reportedly confirmed significant progress on a second Millennium problem, with speculation that two of the remaining problems are close to being solved or already have been. The specific problems remain unknown, but Dev Day is suggested as a potential announcement date.

This report uniquely links the rumored AI breakthroughs in theoretical computer science to Greg Brockman's confirmation of progress on a second Millennium problem, unlike other accounts.