arXiv · AI· Marco Dos Santos, Vivek Veeriah, Alex Havrilla, Andrew Bolt, Goran Zuzic, Satinder Singh, Tom Zahavy·· 13 小时前AI 评分37
Gemini 代理管线在 Busy Beaver 前沿自主发现并验证新加速规则
At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier
AI 导读
Gemini 代理管线在 Busy Beaver 前沿自主发现并形式化验证了 11 台机器的新颖 Collatz 类加速规则。 该系统整合模式识别、自动猜想、非形式化推理及 Lean 形式定理证明，将这些机器暂时分类为 Cryptids。 这一成果展示了自主 AI 系统在有界计算极限进行开放式数学发现的潜力。
来源：arXiv · AI · arxiv.org