The Busy Beaver Challenge, a notoriously difficult question in theoretical computer science, is now producing answers so ...

As an undergraduate at the University of Chile, Bernardo Subercaseaux took a dim view of using computers to do math. It seemed antithetical to real intellectual discovery. “There’s some instinct or ...