Google DeepMind Discovery 团队在第六个 Busy Beaver 数研究中取得突破性新进展

Google DeepMind Discovery 团队借助自研智能推理框架，成功刷新第六个 Busy Beaver 数 BB (6) 的下界数值，同时完成 11 台六状态图灵机的形式化验证，把 BB (6) 的研究边界向前大幅推进，这套成果填补了长期以来六状态停机机器自动筛查的技术空白。团队先梳理清楚 Busy Beaver 问题的底层逻辑，BB 函数代表 n 状态双符号图灵机在空白磁带上停机前能运行的最大步数，从 BB (5) 到 BB (6) 会出现量级跳跃，BB (6) 已经超出常规数值计算范围，只能依靠下界迭代与机器筛选推进研究。研究人员先搭建 AI 自动搜索流水线，再对海量六状态图灵机做停机判定，剔除一定会无限运行的机器，留下存疑候选机型；之后用交互式定理证明工具完成候选机型的数学核验，把无效机型快速过滤，锁定能够创造步数新纪录的目标机器；最后通过严格的形式化证明，确定 BB (6) 全新下界，同时识别出多台具备 Collatz 猜想等价属性的 “Cryptid” 机型，进一步厘清 BB (6) 难以求出精确值的核心原因。整套研究流程打通了 AI 自动枚举、停机判定、形式化核验三大环节，不仅更新了数值边界，还建立起面向高状态 Busy Beaver 问题的标准化研究流程，为后续 BB (7) 及更高阶问题打下坚实技术基础。

一、本次研究核心成果清单

1. 数值边界成果：将 BB (6) 下界提升至 2↑↑↑5，完成 Coq 形式化数学证明，新下界远超此前 1997 年定下的数值记录。
2. 机器筛选成果：自动识别出 11 台全新 Cryptid（隐生物）六状态图灵机，这类机型的停机问题等价于 Collatz 类难题，无法用常规算法判定停机状态。
3. 技术流程成果：搭建 AI 自主数学发现流水线，可批量完成数百万台图灵机的分类筛查，大幅降低人工核验成本。
4. 理论结论成果：明确证明 BB (6) 精确值无法依靠单纯暴力枚举求出，必须结合数论猜想与自动定理证明技术同步推进。

二、分步研究实施步骤

步骤 1：构建机器枚举模型

按照双符号六状态图灵机规则，生成全部合法状态转移组合，总候选机器数量达到数十亿级别；利用剪枝算法直接剔除结构明显会无限循环的机器，把待核验候选体量压缩到可控范围。

步骤 2：AI 驱动停机判定

调用 Discovery 团队自研的智能推理模型，对剩余候选机型做自动运行模拟，区分三类机器：必然停机、必然无限运行、无法判定的存疑机型，把筛选重心集中到存疑机型之上。

步骤 3：候选机型数学核验

对存疑机型开展深度数学分析，区分普通停机机器与 Cryptid 机型；针对 Cryptid 机型，证明其停机问题等价于 Collatz 猜想这类长期未解决的数论难题。

步骤 4：下界数值严格证明

针对创造最大运行步数的冠军机型，使用 Coq 定理证明器完成完整形式化推导，严格给出 BB (6) 的新下界，保证数值结论无逻辑漏洞。

步骤 5：沉淀标准化研究框架

把整套枚举、判定、证明流程封装成可复用的技术框架，支持后续向 BB (7) 等更高阶 Busy Beaver 数研究扩展。

三、关键数据对比表格

表格

四、研究带来的延伸价值

1. 计算理论层面：直观验证高状态 Busy Beaver 问题会和经典未解决数论猜想绑定，直观展现停机问题的不可判定边界。
2. AI 科研层面：验证智能推理模型可以自主完成不可计算类数学问题的探索，拓展 AI 在纯理论数学领域的应用场景。
3. 工程技术层面：形成 “机器枚举 — 自动判定 — 形式化证明” 一体化工具链，给计算机理论、自动定理证明领域提供通用技术方案。

【相关 FAQ】

问题 1：DeepMind Discovery 团队本次针对第六个 Busy Beaver 数取得了哪些核心数值突破？

回答 1：DeepMind Discovery 团队把第六个 Busy Beaver 数 BB (6) 的下界更新到 2↑↑↑5，并且用 Coq 工具完成完整形式化证明，新下界大幅超越过往几十年的历史记录，同时找到了 11 台全新的六状态 Cryptid 图灵机，完善了 BB (6) 机型的分类体系。

问题 2：第六个 Busy Beaver 数为什么无法直接算出精确数值？

回答 2：第六个 Busy Beaver 数对应的六状态图灵机里，存在多台 Cryptid 机型，它们的停机判定等价于 Collatz 猜想这类长期未被证明的数学难题；只要这类机型的停机状态无法确定，就没办法统计出所有六状态停机机器的最大步数，因此 BB (6) 精确值无法通过暴力计算直接得到。

问题 3：DeepMind Discovery 团队使用了什么样的技术来研究第六个 Busy Beaver 数？

回答 3：团队搭建了 AI 自主数学发现流水线，第一步剪枝枚举海量六状态图灵机，第二步依靠智能推理模型自动做停机判定，第三步对存疑机型开展数论分析，最后借助 Coq 定理证明器完成下界数值的严格推导，整套流程实现了机器筛选到数学证明的全自动化。

【数据来源】

[2026-10-19]（AI 在可计算边界取得新发现：自主探索 Busy Beaver 问题）AiKraft

[2026-06-29]（BB (6) 机型与下界研究进展）BusyBeaverWiki

[2025-06-28]（BB (6) 下界数值迭代记录）Shtetl-Optimized 学术博客

[2025-10-17]（BB (5) 完整证明与 BB (6) 前期探索）arXiv 预印本平台

[2024-07-25]（Busy Beaver 第六项数值研究难点）Scientific American

免责声明

本文仅客观梳理 Google DeepMind Discovery 团队在第六个 Busy Beaver 数课题中的公开研究成果与技术进展，所有数值结论均来自公开学术资料；文中 AI 技术方案与数学推导仅用于理论科研交流，不构成工程落地与数学猜想证明的直接依据；后续 BB (6) 数值边界仍会随着机器筛选技术迭代持续更新。