ビジービーバーBB(10)がグラハム数を超えるマシンを発見
BB(10) > Graham's Number
10状態のチューリングマシンn1が、停止時のスコアでグラハム数を超えることをCoqで機械検証。BB(8)記録の計算を基盤に、停止遷移を組み替え2状態を追加するだけで、増加速度を急増大階層のf_{ω+1}レベルに引き上げた。これにより既存のBB(10)チャンピオンを打ち破り、BB(10)の下限を更新した。
Machine-checked: ones > Graham's number.
BB(10) > Graham's Number
10状態のチューリングマシンn1が、停止時のスコアでグラハム数を超えることをCoqで機械検証。BB(8)記録の計算を基盤に、停止遷移を組み替え2状態を追加するだけで、増加速度を急増大階層のf_{ω+1}レベルに引き上げた。これにより既存のBB(10)チャンピオンを打ち破り、BB(10)の下限を更新した。
Machine-checked: ones > Graham's number.