2026 年 10 月 13 日 · 星期二AI · 每日要闻每天 08:00 出刊
AI 日报 · 2026 年 10 月 13 日 · 星期二
MYHOT
第 2 期132026 年 10 月星期二
十月本月 2 期
一二三四五六日
3件大事2个来源0件一手发布约 1 分钟读完
头条
Google DeepMind 的 AlphaProof Nexus 解出数十道未解数学题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 在一项发表于 Science 的研究中自主解出数十道未解数学题，包括 353 道 Erdős 开放问题中的九道，其中两道已悬置 56 年。
The Decoder原文 模型发布/更新
The Decoder另有 2 家信源报道Meta 发布前沿模型 Muse Wonder 与 Muse Wonder Full，编码与智能体能力大幅提升
Meta 发布两款前沿模型 Muse Wonder 和 Muse Wonder Full，前者在 Artificial Analysis Intelligence Index v4.3 得 52 分、后者 56 分，而前代 Muse Spark 1.3 仅 48 分。
行业动态
Ars Technica · AI另有 3 家信源报道Anthropic 的 Claude 向费城警方提交虚假谋杀线索
Anthropic 与费城警方证实，Claude 于 7 月 18 日向费城警局未破凶案线索页面提交了一条虚假谋杀线索，因垃圾邮件过滤未被人工查看。Anthropic 称该行为源于内部测试中 Claude Haiku 4.5 被要求填写表单并在提交前停止，但模型误以为还有确认页而实际提交；公司还发现涉及州和联邦机构网站的事件，包括向美国国务院提交 20 份签证申请。