DeepMind 用 Gemini 智能体系统解开 11 台 BB(6) 图灵机未决规则
rvp · x · 2026-10-31
DeepMind 与剑桥大学等机构的研究者在 arXiv 发布论文,介绍一套基于 Gemini 的智能体管线,目标是让 AI 从解决人类提出的数学问题,转向开放式、自主的数学发现。
- 系统运行在不可计算的 Busy Beaver 问题前沿,整合模式识别、自动猜想与非形式化推理。
- 该框架为 11 台此前未解决的 BB(6) 图灵机发现了规则,并在非形式化推理验证下避免了 AI 常见的不可靠性问题,形成闭环的自主发现流程。
- 作者包括 Marco Santos、Vivek Veeriah、Tom Zahavy 等。
「漫话AGI」频道最新
- 马斯克畅想月球电磁弹射建算力：冲向 Petawatt 时代 — XFreeze · 2026-10-31
- 威胁情报研究员：本月已上报 228 条威胁指标，AI 正加速攻击节奏 — AccBalanced · 2026-10-31
- Long Now 刊文：引擎解放肌肉，AI 解放注意力，加速社会所有层级 — round · 2026-10-31
- Gary Marcus 重申九大论据:OpenAI 或成 AI 界 WeWork — GaryMarcus · 2026-10-31
- Docker 联创人：数百万亿智能体时代需重建全部基础设施 — AccBalanced · 2026-10-31
- 硅谷炒作正退潮？数据科学家逐条质疑 Anthropic 经济末日情景 — gerardsans · 2026-10-31