Scott Aaronson says labs are sitting on solutions to major open problems after the Navier-Stokes backlash

Shtetl-Optimized (via r/singularity, 535 upvotes)·high signalXBlueskyLinkedInCopy link

In 'The Age of Wonders and Terrors', posted September 15, Scott Aaronson writes that per rumors he has heard, AI companies have solutions to longstanding open problems in theoretical computer science (explicitly not P≠NP or complexity class separations) and are 'sitting on' them until they find a better way to announce, having been burned by the hostile reception to the Navier-Stokes proof. He also declares human mathematicians 'forevermore dethroned as the main theorem-proving entities on planet earth' and endorses the Fields Medalists' open letter on preserving human understanding. The claim is explicitly secondhand rumor and Aaronson labels it as such.