2026 年 10 月 13 日 · 星期二AI · 每日要闻每天 08:00 出刊AI 日报 · 2026 年 10 月 13 日 · 星期二MYNEWS第 7 期132026 年 10 月星期二十月本月 7 期一二三四五六日3件大事3个来源1件一手发布约 1 分钟读完头条Meta 发布首个前沿模型 Muse WonderMeta 的 Superintelligence Lab 发布 Muse Wonder 和 Muse Wonder Full 两款新模型,这是其首次尝试前沿模型。TechCrunch · AI另有 2 家信源报道原文 01论文研究The DecoderGoogle DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并通过同行评审Google DeepMind 的 AlphaProof Nexus 独立解决了数十个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想,解决了代数几何中的一个开放问题,并改进了 min-max 优化中的一个已知界。原文 arXiv cs.CV一手ASDchat:用于循证自闭症谱系障碍筛查的多模态大语言模型研究团队提出 ASDchat,一个以视频、音频和对话为输入的多模态大语言模型,用于循证自闭症谱系障碍(ASD)筛查。该模型采用双分支架构,决策分支输出筛查概率,证据分支生成与 ADOS-2 对齐、可追溯且带时间戳的行为证据。原文 前一日 · 10月12日OpenAI公开两篇挂谷猜想手稿,将结果推进到四维
The DecoderGoogle DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并通过同行评审Google DeepMind 的 AlphaProof Nexus 独立解决了数十个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想,解决了代数几何中的一个开放问题,并改进了 min-max 优化中的一个已知界。原文
arXiv cs.CV一手ASDchat:用于循证自闭症谱系障碍筛查的多模态大语言模型研究团队提出 ASDchat,一个以视频、音频和对话为输入的多模态大语言模型,用于循证自闭症谱系障碍(ASD)筛查。该模型采用双分支架构,决策分支输出筛查概率,证据分支生成与 ADOS-2 对齐、可追溯且带时间戳的行为证据。原文