DeepMind Discovery 团队进军第六个 Busy Beaver 数搜寻

TZahavy · x · 2026-10-21

Google DeepMind Discovery 团队(TZahavy 宣布,学生研究员 dsantosmarco 领导)在过去一年攻关理论计算机科学最迷人的开放问题之一:寻找第六个 Busy Beaver(BB(6))数值。BB 挑战要找出停机前运行时间最长的最简程序;由于停机问题不可计算,没有通用算法可解,必须发明新的数学技术才能推进——这使得它成为「数学创造力」的独特开放域。与大多数求解人类出题(定理)的 AI 数学系统不同,这项工作探索的是「发现隐藏问题」。配图展示了四个经 Lean 验证的潜在 BB(6)「cryptid」程序的前 1 万步,每个都编码了一个困难的数论问题,灵感来自 bbchallenge.org 社区。