Loading articles…
The complete subject coverage could not load. Published articles remain below.
Theorist Scott Aaronson argues AI is clearing career-defining problems, leaving humans to interpret results, choose questions and supervise unaligned systems, though he doubts any such role is permanent.
Scott Aaronson, a UT Austin computer scientist, argues the bottleneck in mathematics, AI safety and quantum computing is no longer producing answers but formalizing, verifying and understanding them in time.
Computer scientist Scott Aaronson argues AI's solution of hundreds of open problems cannot be undone, pitting mathematics' ideal of open participation against grief over lost careers and unreviewed proofs.