Contexte du problème Busy Beaver

Le problème Busy Beaver consiste à déterminer, pour un nombre donné d'états n, le nombre maximal de symboles 1 qu’une machine de Turing à n états peut imprimer avant de s’arrêter. Les valeurs exactes sont connues jusqu’à n = 4 ; à partir de n = 5, le problème devient non décidable et les estimations explosent rapidement. Le dépôt GitHub jeff87654/busy-beaver propose une description d’une machine à dix états, désignée BB(10), dont le comportement dépasse le nombre de Graham, l’un des plus grands nombres jamais publiés dans la littérature mathématique.

Structure de la machine proposée

Le nom du fichier 1RB0RA_1LC1LF_1RD0LB_1RA1LE_1LI0LC_0RG1LD_1RH1LG_1LC0RG_0LJ0LI_1RZ0LC.md encode la table de transition. Chaque segment de trois caractères représente une règle : le premier caractère indique l’état courant (de 0 à 9), le deuxième le symbole lu (R ou L pour droite/gauche dans la notation du dépôt), et le troisième le symbole écrit ou l’action de déplacement. Par exemple, 1RB signifie que, en état 1, la machine lit le symbole R, écrit B (un blanc) puis se déplace à droite. Cette codification compacte permet de reproduire la logique complète de la machine sans recourir à un tableau explicite.

Analyse de la croissance attendue

Les auteurs affirment que, lorsqu’elle est exécutée, la machine BB(10) produit un nombre de 1 supérieur au nombre de Graham (G ≈ 3 × 10173 000 000). Cette affirmation repose sur une simulation partielle et sur l’observation que la machine entre rapidement dans une phase de boucle exponentielle où chaque itération multiplie le nombre de 1 par un facteur constant supérieur à deux. En l’absence de preuve formelle, la déclaration reste conjecturale, mais elle illustre la rapidité avec laquelle les fonctions de Busy Beaver dépassent toute fonction primitive récursive, y compris les constructions combinatoires comme G.

Limites et perspectives de vérification

Le principal obstacle à la validation de la claim réside dans l’impossibilité pratique de simuler entièrement la machine. Même avec des ressources de calcul distribuées, la longueur de la séquence d’états avant arrêt dépasse largement la capacité de stockage actuelle. De plus, le dépôt ne fournit pas de preuve formelle de terminaison ; il ne montre qu’une partie de la trace d’exécution et laisse la phase finale non observée. Sans une méthode de preuve inductive ou un argument de type « halting proof », la communauté ne peut pas confirmer que la machine s’arrête effectivement après avoir produit plus de G unités. Cette incertitude souligne la frontière entre expérimentation numérique et démonstration théorique dans l’étude du Busy Beaver.