跳到正文
2026 年 10 月 13 日 · 星期二每天 08:00 出刊

AI 日报 · 2026 年 10 月 13 日 · 星期二

MYHOT

第 20 期132026 年 10 月星期二
2件大事2个来源0件一手发布1个新模型约 1 分钟读完
头条

Meta 发布首个前沿模型 Muse Wonder 系列

Meta 的 Superintelligence Lab 发布 Muse Wonder 与 Muse Wonder Full,这是该公司首次尝试前沿模型。同日,Google DeepMind 的 AlphaProof Nexus 自主解决数十个开放数学问题,成果经同行评审发表于 Science。

01

模型发布/更新

02

论文研究

The Decoder

Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并经过同行评审

Google DeepMind 的 AlphaProof Nexus 自主解决了数十个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个开放 Erdős 问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题,并改进了用于训练部分 AI 模型的 min-max 优化中的一个已知界。

(本期完)

MyHOT 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本