模型与研究上个月·The Decoder
图灵奖得主 Richard Sutton 称纯生成式 AI 难以真正做科学作者:Matthias Bastian;来源发布时间:2026-06-01。The Decoder 报道图灵奖得主 Richard Sutton 认为传统生成式 AI 的核心弱点是不能评估自己的结果,因此难以完成真正的科学发现。他认为 AlphaGo、AlphaProof 这类系统的关键在于内置评估循环,能让新想法被检验、保留和迭代。
每日精选 AI 行业动态,点开标题可直达原文出处。
作者:Matthias Bastian;来源发布时间:2026-06-01。The Decoder 报道图灵奖得主 Richard Sutton 认为传统生成式 AI 的核心弱点是不能评估自己的结果,因此难以完成真正的科学发现。他认为 AlphaGo、AlphaProof 这类系统的关键在于内置评估循环,能让新想法被检验、保留和迭代。
作者:听雨;来源发布时间:2026-05-30。量子位介绍参与 Gemini 数学推理突破的重要研究者,并以其个人经历切入,回顾模型在 IMO 级别数学任务中的进展。文章本身偏人物叙事,但背后值得关注的是,数学推理仍是衡量前沿模型规划、证明和长链条推理能力的重要试金石。