Gemini智能体流水线自主发现图灵机加速规则

2026年10月20日，arXiv Artificial Intelligence 刊出 Marco Dos Santos 等作者的论文《在可计算性的极限：迈向 Busy Beaver 前沿的自主 AI 发现》。报道称，一个基于 Gemini 的智能体流水线在 Busy Beaver 领域自主发现并形式化验证了 BB(6) 中 11 台图灵机的新型 Collatz 类加速规则。该流水线整合模式识别、自动猜想、非形式数学推理与 Lean 形式化定理证明，把多步执行压缩为紧凑的数学规则。报道还称，这些机器被暂定为 Cryptids，即空带执行有精确紧凑数学描述、但停机行为仍未解决。目前进展停留在论文所述发现与形式化验证层面，尚无后续跟进报道。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。