跳到正文
#DeepMind
10月12日周一
  1. The Decoder84

    Google DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并通过同行评审

    Google DeepMind 的 AlphaProof Nexus 自主解出多个开放数学问题，相关研究发表在 Science 上。它解出 353 个 Erdős 开放问题中的 9 个，其中两个已悬置 56 年，还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题，并改进了 min-max 优化中的一个已知界。

    推荐理由：AlphaProof Nexus 用 Lean 校验证明并走同行评审，可与 OpenAI 直接公开证明的做法对照。

10月10日周六
10月2日周五
  1. MIT Technology Review · AI50

    别被迷惑——LLM 并不会真正推理

    前 Google DeepMind 研究员指出，LLM 靠逐 token 预测生成思维链，本质仍是"系统 1"式的快速联想，并非真正推理。他列举三大缺陷：缺乏可检视的持久认知状态、知识与推理在权重中纠缠不清、思维链常是事后编造。他主张借鉴 AlphaGo 的搜索架构，为模型建立显式的认知状态，以支撑医疗、科研等高风险场景。