AI 日报 · 2026 年 10 月 13 日 · 星期二
AI STATION
DeepMind AlphaProof Nexus 自主证明 9 个 Erdős 未解数学难题
Google DeepMind 团队在 Science 发表的最新研究显示，基于 Gemini 3.1 Pro 构建的 AlphaProof Nexus 在 Lean 形式化语言环境中自主解决了 353 个 Erdős 未解问题中的 9 个。Meta 同期发布两款前沿模型 Muse Wonder 与 Muse Wonder Full，在编码等复杂任务上宣称优于 Fable 5.1 和 GPT-6 Astra。
模型发布/更新
TechCrunch · AIMeta 发布首款前沿模型 Muse Wonder 与 Muse Wonder Full
Meta Superintelligence Lab 周一发布两款前沿模型 Muse Wonder 和 Muse Wonder Full，宣称在基准测试中与 Fable 5.1 和 GPT-6 Astra 相当，复杂任务尤其是编码任务表现更优。
论文研究
The DecoderDeepMind AlphaProof Nexus 自主解决多道未解数学问题并通过同行评审
Google DeepMind 团队在 Science 发表研究称，基于 Gemini 3.1 Pro 构建的 AlphaProof Nexus 在 Lean 形式化语言环境中自主证明了 353 个 Erdős 未解问题中的 9 个。
推荐收听
本期新节目 · 根据公开标题与简介筛选，未核验音频全文；推荐在成刊时固定。
播客 · Odd Lots · 英文
Nate Soares on How AI Really Could Kill Us All
公开标题与简介涉及 AI 技术或产业，包含访谈或机制分析线索；可作为深入收听候选。
Since the Hugging Face incident, concerns over AI doomsday scenarios has entered the mainstream. But of course, some people have been warning about this for years, long before LLMs or ChatGPT. In their 2025 book If Anyone Builds It, Everyone Dies, Nate Soares and Eliezer Yudkowsky spelled out their vision of humanity's inevitable demise once superintelligent AI is built. In this episode, we speak with Soares, who serves as president of the Machi…
1:16:11 · 2026/10/12