DeepMind与剑桥：Gemini智能体发现并验证图灵机新规则
热点事件持续更新
DeepMind与剑桥：Gemini智能体发现并验证图灵机新规则
1 篇报道1 个报道来源55 分钟前更新
先了解这件事
AI 综述
Google DeepMind 与剑桥大学的论文展示，一个基于 Gemini 的智能体流程自主发现并形式验证了 Busy Beaver 问题 BB(6) 中 11 台此前无记录分析的图灵机的新加速规则。 该流程先在模拟器中测试边界情况、起草非形式证明，再在 Lean 证明检查器中完成定理证明。团队暂将这 11 台机器归类为 Cryptids，它们的停机行为仍未解决。
AI 根据报道生成 · 51 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- Rohan PaulGoogle DeepMind 与剑桥论文：Gemini 智能体自主发现并 Lean 验证 11 台 Busy Beaver 图灵机的新规则
Google DeepMind 与剑桥的论文介绍一个基于 Gemini 的智能体流程，自主发现并形式验证了 BB(6) 中 11 台此前无记录分析的 Busy Beaver 图灵机的新加速规则。该流程在模拟器中测试边界情况、起草非形式证明，再在 Lean 证明检查器中完成定理证明；团队暂将这些机器归类为 Cryptids，其停机行为仍未解决。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。