先了解这件事
AI 综述
Google DeepMind 与剑桥发表论文,展示一个基于 Gemini 的 AI 智能体能够自主发现新数学。该智能体为 11 台此前没有分析记录的 Busy Beaver 图灵机找到并给出精确规则。据论文描述,智能体先在模拟器中测试边界情况、起草非形式化证明,再在 Lean 证明检查器中完成证明,相关规则均通过 Lean 验证。论文称这体现了 AI 从回答人类提出的数学问题走向开放式发现。目前该工作以论文形式呈现,尚无后续进展报道。
AI 根据公开报道生成
事件进展
1 个已确认进展
- 来源：Rohan Paul
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月22日
Rohan Paul
Google DeepMind 与剑桥论文：AI 智能体自主发现 11 台未解图灵机的精确规则
Google DeepMind 与剑桥的新论文显示，一个基于 Gemini 的智能体能够自主发现新数学，为 11 台此前没有分析记录的 Busy Beaver 图灵机找到并给出精确规则。该智能体在模拟器中测试边界情况、起草非形式化证明，再在 Lean 证明检查器中完成证明，相关规则均通过 Lean 验证。论文称这体现了 AI 从回答人类提出的数学问题走向开放式发现。