Busy Beaver Challenge, notoricky obtížná otázka v teoretické informatice, nyní produkuje odpovědi tak rozsáhlé, že je nemožné je napsat pomocí standardního matematického zápisu.