elvis (X)· omarsar0·· 2 天前AI 评分58
Google DeepMind 用 Gemini 智能体发现并形式化验证 BB(6) 图灵机加速规则
Banger paper from Google DeepMind on open-ended math discovery with agents.
AI 导读
Google DeepMind 一篇论文让基于 Gemini 的智能体在 Busy Beaver 问题 BB(6) 中为 11 台未解决图灵机找到并形式化验证了新的加速规则。
来源：elvis (X) · x.com