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…