DeepMind 团队冲击第六个 Busy Beaver 数，探索 AI 发现隐蔽数学问题
RaiaHadsell · x · 2026-10-23
Google DeepMind Discovery 团队（由学生研究员 Marco Santos 主导）在理论计算机科学经典开放问题——寻找第六个 Busy Beaver（BB）数——上取得新进展。该问题旨在找出「停机前运行时间最长的最简程序」，因其不可计算性，无法用通用算法解决，长期以来靠社区协作推进。Zoubin Ghahramani 与 Tom Zahavy 转发了这一成果，并强调其意义不同于求解人类出好的定理：AI 在这里做的是「发现隐藏的问题」本身，是 AI 驱动的开放式数学发现的前沿探索。
所属事件:DeepMind 用 AI 智能体冲击第六 Busy Beaver 数并验证新规则(4 条相关)→
「漫话AGI」频道最新
- 设计师代际分化：资深设计师反而更拥抱 AI — soleio · 2026-10-23
- 80,000 Hours 前研究员自嘲:信 AI 安全是为抄底股票 — lxrjl · 2026-10-23
- burny 提出技术应同时服务人类与后人类的双轨愿景 — burny_tech · 2026-10-23
- MIT 论文：AGI 时代稀缺的不是智能，是人类验证带宽 — akbirthko · 2026-10-23
- MIT 学者:AI 用无主网络数据训练,法院正在重演历史老剧本 — danielrock · 2026-10-23
- Casey Newton 与 Kevin Roose 联合发表宣言：提出「AI 现实主义」 — kevinroose · 2026-10-23