10-상태 튜링 기계가 Graham 수를 넘어서다
BB(10) > Graham's Number
10-상태 튜링 기계 n1이 정지하며, 그 점수는 Coq로 검증되었다. 이 기계는 BB(8) 기록을 기반으로 두 개의 새로운 상태를 추가하고, 하나의 전이를 변경하여 카운트다운과 주기적 폭발을 통해 점수를 f_(ω+1) 수준으로 끌어올린다. 그 결과 Graham 수보다 큰 값을 계산한다. 기존 BB(10) 챔피언을 뛰어넘는 성과이다.
Machine-checked: ones > Graham's number.