Diese 10-Zustands-Turingmaschine übertrifft Grahams Zahl

BB(10) > Graham's Number

Ein neuer Busy-Beaver-Kandidat für BB(10) namens n1 wurde mit Coq verifiziert. Die Maschine hält vom leeren Band aus an und erzeugt eine Anzahl von Einsen, die größer ist als Grahams Zahl. Ihr Score liegt auf der Ebene f_(ω+1) der schnell wachsenden Hierarchie und schlägt damit den bisherigen BB(10)-Champion, der nur f_ω erreicht. Die Analyse zeigt, wie eine kleine Änderung an einer Übergangsfunktion und zwei zusätzliche Zustände zu einem enormen Wachstum führen.