DeepMind 用 Gemini 智能体发现 11 台新图灵机，攻关 Busy Beaver

Google DeepMind 发布论文《At the Limits of Computability》，展示了一条面向开放式数学发现的自主 AI 管线，基于 Gemini 智能体在 Busy Beaver 前沿发现并形式化验证了 11 台新图灵机。DeepMind Discovery 团队（由学生研究员 Marco Santos 领导）过去一年一直攻关理论计算机科学的著名开放问题——求解第六个 Busy Beaver 数，并配套发布了 Lean4 与 Coq 相关资源合集。

2026-10-20 ~ 2026-10-21 · 3 条相关

• DeepMind 用 Gemini 智能体在 Busy Beaver 前沿发现并形式化验证 11 台新图灵机 — omarsar0 · 2026-10-20
• DeepMind Discovery 团队进军第六个 Busy Beaver 数搜寻 — TZahavy · 2026-10-21

另有 1 条近重复转述:TZahavy