Theoretical computer scientist Scott Aaronson declares that artificial intelligence has permanently dethroned humans as the world's primary theorem provers, citing machine breakthroughs like the Navier-Stokes problem and urging researchers to focus on AI alignment.
FireBrief
FireBrief