Número Busy Beaver BB(6) Surpreendentemente Ultrapassa Todas as Expectativas

Avanços recentes em BusyBeaverologia aumentaram drasticamente o limite inferior de BB(6), o 6º número Busy Beaver. Inicialmente estimado como maior que um número com 15 níveis de expoentes de 10, agora se sabe que é muito maior, excedendo até mesmo 2^^^^9 (2 tetrado a 2 tetrado a 2 tetrado a 9). Esse salto surpreendente sugere que BB(n) pode se tornar independente dos axiomas ZFC da teoria dos conjuntos muito mais cedo do que se pensava anteriormente, levando a uma reavaliação do crescimento da função e apresentando novos desafios para a teoria da computação.