2026 年 10 月 13 日 · 星期二人工智能 · 每日要闻每天 08:00 出刊
AI 日报 · 2026 年 10 月 13 日 · 星期二
MYHOT
第 21 期132026 年 10 月星期二
十月本月 13 期
一二三四五六日
3件大事2个来源0件一手发布约 2 分钟读完
头条
DeepMind AlphaProof Nexus 解决数十开放数学难题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 基于 Gemini 3.1 Pro，在 Lean 中起草并逐步校验证明，自行解决了数十个开放数学问题，相关研究已发表于 Science。Meta 同日发布前沿模型 Muse Wonder Full，在 Artificial Analysis Intelligence Index v4.3 上以 56 分跻身第一梯队。此外，开发者社区披露 Google DevSite 平台价值 9 万美元奖励的远程代码执行漏洞，涉及 OAuth 与 Flask session cookie 安全隐患。
研究与应用
The DecoderGoogle DeepMind 的 AlphaProof Nexus 解决了数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 自行解决了数十个开放数学问题，相关研究发表在 Science 上。该系统基于 Gemini 3.1 Pro，在 Lean 中起草并修改证明，每步由 Lean 校验，难题子任务可调用专用证明工具 AlphaProof；独立运行时它也解出了 9 个 Erdős 开放问题。
Hacker News · 首页
作者披露 Google DevSite 平台 $90k 奖励的远程代码执行漏洞
作者 Simon Koeck 在 mapping Google 开发者文档站点的 OAuth 流程时，发现 developers.google.com 的 Flask session cookie 使用 OAuth client_secret 同时作为签名密钥，反序列化使用 pickle。
The DecoderMeta 发布前沿模型 Muse Wonder Full，综合智能指数跻身第一梯队
Meta 发布前沿模型 Muse Wonder Full 与 Muse Wonder，两者在 Artificial Analysis Intelligence Index v4.3 上分别拿到 56 和 52 分。