AI labs may be hiding their biggest breakthroughs

Scott Aaronson thinks the singularity has already started—and says he’s heard that AI companies are sitting on major mathematical breakthroughs they haven’t released. As the debate over OpenAI’s Navier–Stokes result continues, a bigger question is emerging: what happens when machines can make discoveries that humans…