Busy Beaver Challenge, en notoriskt svår fråga inom teoretisk datavetenskap, ger nu svar som är så stora att de är omöjliga att skriva ut med vanlig matematisk notation.