2026 年 10 月 13 日 · 星期二AI · 每日要闻每天 08:00 出刊AI 日报 · 2026 年 10 月 13 日 · 星期二WEBAI第 21 期132026 年 10 月星期二十月本月 13 期一二三四五六日2件大事2个来源0件一手发布约 1 分钟读完头条Meta 发布首个前沿模型 Muse Wonder 与 Muse Wonder FullMeta 的 Superintelligence Lab 发布了 Muse Wonder 和 Muse Wonder Full 一对新模型,这是该公司首次尝试前沿模型。TechCrunch · AI另有 2 家信源报道原文 01论文研究The DecoderGoogle DeepMind AlphaProof Nexus 收录 Science 论文,解决数十个开放数学问题Google DeepMind 的 AlphaProof Nexus 在 Science 发表新研究,独立解决了数十个开放数学问题:在 353 个开放 Erdős 问题中解出 9 个(其中 2 个悬置 56 年),证明 OEIS 整数序列数据库中的 44 个猜想,解决代数几何的一个开放问题,并改进 min-max 优化的一个已知界。原文 前一日 · 10月12日今日安静,无大事发生
The DecoderGoogle DeepMind AlphaProof Nexus 收录 Science 论文,解决数十个开放数学问题Google DeepMind 的 AlphaProof Nexus 在 Science 发表新研究,独立解决了数十个开放数学问题:在 353 个开放 Erdős 问题中解出 9 个(其中 2 个悬置 56 年),证明 OEIS 整数序列数据库中的 44 个猜想,解决代数几何的一个开放问题,并改进 min-max 优化的一个已知界。原文