10 状态 Busy Beaver 超越 Graham's Number

BB(10) > Graham's Number

一台名为 n1 的 10 状态图灵机在 Busy Beaver 竞赛中刷新了纪录。它基于 BB(8) 冠军的基机，通过巧妙修改一个状态并新增两个状态，将计算层级从 f_ω 提升至 f_(ω+1)。该机器不仅在 Coq 中完成了停机证明，其最终得分更是被证实远超 Graham's Number。这一突破不仅击败了现有的 BB(10) 冠军，更展示了通过极简的状态扩展实现指数级增长计算能力的惊人潜力。