elvis(@omarsar0)· elvis (@omarsar0)·· 3 小时前AI 评估 · 68/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Google DeepMind 用 Gemini 智能体发现并形式化验证 BB(6) 图灵机加速规则
Banger paper from Google DeepMind on open-ended math discovery with agents. This is one of the earl...
AI 导读
Google DeepMind 发表论文，用 Gemini 智能体在 Busy Beaver 问题 BB(6) 中为 11 台未解决图灵机找到并形式化验证了新的加速规则。
来源：elvis(@omarsar0) · x.com