跳到正文
10月12日周一
10月11日周日
  1. RadarAI23

    Demis Hassabis 传记解读:OpenAI 是为对抗他才成立的吗

    一份 Demis Hassabis 传记解读沿着象棋、游戏创业、神经科学与 DeepMind 的轨迹,讨论宏大愿景如何通过可验证里程碑、研究范式调整与组织资源变成科学成果。视频以 Infinity Machine 为叙事线索,追踪他从童年棋手、Bullfrog 游戏开发者到 Elixir 创业失败、认知神经科学研究者及 DeepMind 创始人的经历。

  2. Hacker News71

    Google DeepMind 用 LLM 智能体解决 9 个 Erdős 开放问题

    Google DeepMind 团队在 arXiv 发布论文,对用 LLM 生成 Lean 形式化证明来求解开放问题做了首次大规模评测。其最强智能体自主解决了 353 个 Erdős 开放问题中的 9 个,单题成本为几百美元,并证明了 492 个 OEIS 猜想中的 44 个,正被用于组合数学、优化、图论、代数几何和量子光学研究。

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

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

    前 Google DeepMind 研究员撰文指出,LLM 靠逐个预测 token 生成答案,本质只是 System 1 式的快速直觉,并非真正的推理。他认为 ChatGPT 类模型的思维链仍由同一套 next-token 预测产生,缺乏可检视的持久认知状态、知识与推理的分离,且常事后编造推理过程。他因此离开 Google DeepMind,主张借鉴 AlphaGo 的搜索架构来构建机器推理。

7月21日周二