Una máquina de 10 estados supera el número de Graham y bate el récord de BB(10)
BB(10) > Graham's Number
La máquina n1, de 10 estados, halta desde cinta vacía y su puntuación exacta, verificada en Coq, supera el número de Graham. Alcanza el nivel f_(ω+1) en la jerarquía de crecimiento rápido, superando al campeón de BB(10) que estaba en nivel ω. Utiliza las reglas de limpieza del campeón de BB(7) y del récord de BB(8), añadiendo dos estados y una transición modificada para convertir el valor T en una cuenta atrás que genera aproximadamente f_(ω+1)(T) unos.
La máquina n1 supera al campeón y mueve BB(10) al nivel ω+1.