Worth noting that while Busy Beaver series is fast growing, it is not computable by Turing machines (of course). But one of the largest series that does was discovered in a competition similar to what the author describes: the bignum bakeoff.