Amateur Mathematicians Find Fifth ‘Busy Beaver’ Turing Machine | Quanta Magazine - Ben Brubaker - Computability | After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get

The Busy Beaver Challenge