第10个Busy Beaver数超过Graham数，图灵机竞赛迎来新纪录

Graham数，那个大到无法展开写下来的庞然大物，居然被一台十状态的图灵机超过了？BB竞赛的2026年10月冠军榜刚刚更新，第10个Busy Beaver值正式确认碾压Graham数——这不是"略大"，而是大了一个宇宙级量级。我反复核对了bbchallenge.org的条目，这个数字的构造逻辑完全依赖于非递归可计算性，换句话说，它根本不是用来"算"的，是用来"逼"的。很多人把Graham数当作人类能表述的最大数，结果一个由十种状态、二元符号、简单跳转规则驱动的抽象机器，轻而易举地把它踩在脚下。这再次印证：可计算性的天花板远比你想象的低。

原文：10-th Busy Beaver is larger than Graham's number · 来源：Hacker News