Le nombre Busy Beaver BB(6) dépasse toutes les attentes

De récentes avancées en BusyBeaverologie ont considérablement augmenté la borne inférieure de BB(6), le 6ème nombre Busy Beaver. Initialement estimé supérieur à un nombre avec 15 niveaux d'exposants de 10, on sait maintenant qu'il est bien plus grand, dépassant même 2^^^^9 (2 tétraé à 2 tétraé à 2 tétraé à 9). Ce saut étonnant suggère que BB(n) pourrait devenir indépendant des axiomes ZFC de la théorie des ensembles beaucoup plus tôt qu'on ne le pensait auparavant, ce qui conduit à une réévaluation de la croissance de la fonction et pose de nouveaux défis à la théorie de la computation.