arXiv Artificial Intelligence· Marco Dos Santos, Vivek Veeriah, Alex Havrilla, Andrew Bolt, Goran Zuzic, Satinder Singh, Tom Zahavy·· 3 小时前AI 评分45
在可计算性的极限：迈向 Busy Beaver 前沿的自主 AI 发现
At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier
AI 导读
一个基于 Gemini 的智能体流水线在 Busy Beaver 领域自主发现并形式化验证了 BB(6) 中 11 台图灵机的新型 Collatz 类加速规则。该系统整合模式识别、自动猜想、非形式数学推理与 Lean 形式化定理证明，将多步执行压缩为紧凑数学规则。这些机器被暂定为 Cryptids——空带执行有精确紧凑数学描述但停机行为仍未解决。
来源：arXiv Artificial Intelligence · arxiv.org