DeepMind Discovery 团队冲击第六 Busy Beaver 数,发现简单图灵机中的隐藏结构

robertarail · x · 2026-10-22

Google DeepMind 的 Discovery 团队宣布,在学生研究员 Marco Santos 主导的项目中,于「寻找第六 Busy Beaver(BB)数」这一理论计算机科学经典开放问题上取得新进展。

BB 问题追寻「最简单却运行最久才停机的程序」,由于停机判定不可计算,不存在通用算法,Community 多年来以协作方式步步推进 BB(6) 的下界。团队负责人 TZahavy 强调,这项工作的特别之处在于:多数 AI 数学研究系统解决的是人类已提出的问题(如定理证明),而此项目探索的是数学创造力的另一面——发现隐藏的问题本身。转发者 Dahoas 表示,这段「Busy Beaver 神秘生物狩猎」经历是其加入 Discovery 团队以来的一大亮点,惊讶于如此简单的机器中竟能藏有如此多的隐藏结构。