The Busy Beaver Challenge, a notoriously difficult question in theoretical computer science, is now producing answers so large they’re impossible to write out using standard mathematical notation.