DeepMind 联手剑桥：AI 智能体发现并验证 Busy Beaver 新规则

Google DeepMind 与剑桥发表论文《At the Limits of Computability》，展示 Gemini agent 在冲击第六个 Busy Beaver 数的开放式研究中，自主发现简单图灵机中的隐藏结构，共获得 11 条新规则，并用 Lean 形式化验证。这标志着 AI 从「回答人类提出的数学问题」走向自主的开放式数学发现，论文由 DeepMind Discovery 团队与学生研究员 Marco Santos 主导完成。

2026-10-22 ~ 2026-10-22 · 3 条相关

• DeepMind Discovery 团队冲击第六 Busy Beaver 数,发现简单图灵机中的隐藏结构 — robertarail · 2026-10-22
• DeepMind 联合剑桥：AI 智能体自主发现并 Lean 验证 11 台图灵机新规则 — rohanpaul_ai · 2026-10-22

另有 1 条近重复转述:rohanpaul_ai