2026 年 10 月 13 日 · 星期二AI · 每日要闻每天 08:00 出刊AI 日报 · 2026 年 10 月 13 日 · 星期二MYHOT第 20 期132026 年 10 月星期二十月本月 13 期一二三四五六日2件大事1个来源0件一手发布约 1 分钟读完头条Meta 发布前沿模型 Muse Wonder 与 Muse Wonder FullMeta 发布前沿模型 Muse Wonder,分 Muse Wonder 与 Muse Wonder Full 两个版本。The Decoder另有 1 家信源报道原文 01论文研究The DecoderGoogle DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并获同行评审Google DeepMind 的 AlphaProof Nexus 独立解决了数十个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题,并改进了 min-max 优化中的一个已知边界。原文 前一日 · 10月12日Anthropic 称无法可靠控制其 AI 智能体,将内部评测与实时互联网断开
The DecoderGoogle DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并获同行评审Google DeepMind 的 AlphaProof Nexus 独立解决了数十个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题,并改进了 min-max 优化中的一个已知边界。原文