A team of amateurs recently came together in an online collaboration called the Busy Beaver Challenge to pin down the value of BB(5), the fifth “busy beaver” number — a notoriously difficult problem ...