SITUATION EXPLAINED: Scott Aaronson says labs are sitting on more proofs after the Navier-Stokes backlash. • From his new blog post, The Age of Wonders and Terrors. AI companies have reportedly solved more long-standing open problems in theoretical computer science and are holding the announcements back • None of it is verified outside his account • He spent two years at OpenAI on theoretical foundations of AI safety • "It seems safe to say that human mathematicians are forevermore dethroned…

Andrew Curran@AndrewCurran_23h ago

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. https://x.com/AndrewCurran_/status/2100005852564611151/photo/1