2026 年 10 月 13 日 · 星期二AI · 每日要闻每天 08:00 出刊AI 日报 · 2026 年 10 月 13 日 · 星期二无忧知讯第 1 期132026 年 10 月星期二十月本月 17 期一二三四五六日3件大事2个来源0件一手发布约 1 分钟读完头条OpenAI 一次性发布 700 余篇数学手稿,数学家震惊与愤怒OpenAI 于 2026 年 10 月 6 日一次性发布 700 余篇手稿,声称解决了数百个未解数学问题,数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。The Decoder原文 01模型发布/更新TechCrunch · AI另有 2 家信源报道Meta 发布首个前沿模型 Muse WonderMeta 的 Superintelligence Lab 发布 Muse Wonder 和 Muse Wonder Full 两款模型,这是其首次尝试前沿模型。原文 02论文研究The DecoderGoogle DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并通过同行评审Google DeepMind 的 AlphaProof Nexus 自主解出多个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题,并改进了 min-max 优化中的一个已知界。原文 后一日 · 10月14日 Google DeepMind 发布 Gemini 4 Argon 机器人模型
TechCrunch · AI另有 2 家信源报道Meta 发布首个前沿模型 Muse WonderMeta 的 Superintelligence Lab 发布 Muse Wonder 和 Muse Wonder Full 两款模型,这是其首次尝试前沿模型。原文
The DecoderGoogle DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并通过同行评审Google DeepMind 的 AlphaProof Nexus 自主解出多个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题,并改进了 min-max 优化中的一个已知界。原文