Google DeepMind 一篇论文让基于 Gemini 的智能体在 Busy Beaver 问题 BB(6) 中为 11 台未解决图灵机找到并形式化验证了新的加速规则。
#arXiv
elvis@omarsar0AI 评分5858
Aran Komatsuzaki@arankomatsuzakiAI 评分4040
Aran Komatsuzaki@arankomatsuzakiAI 评分4545
Aran Komatsuzaki@arankomatsuzakiAI 评分4242
Google DeepMind 一篇论文让基于 Gemini 的智能体在 Busy Beaver 问题 BB(6) 中为 11 台未解决图灵机找到并形式化验证了新的加速规则。