Gary Marcus 炮轰 AI 数学证明报告:信息模糊到过不了同行评审
GaryMarcus · x · 2026-10-08
Gary Marcus 批评近期一则 AI 数学证明成果的报告过于模糊:「same procedure」「使用未发布模型」等表述在同行评审中根本过不了关。
他的核心论点:
- 报告没有说明实验流程、架构细节(证明是一次生成后由 Lean 验证,还是迭代过程?)、失败率、训练/后训练/数据增强方式
- 因此完全无法判断该结果在数学之外的泛化性
- 他认为 X 上的 AI 讨论已沦为「无知的啦啦队」,只鼓掌不问基本科学问题
他指出该系统既可能是通往 AGI 的真正一步,也可能只是巧妙利用 Lean 和合成数据在可验证领域的成果,毫无泛化性——从现有报告几乎无法分辨。
所属事件:Gary Marcus 炮轰 OpenAI 数学证明报告信息缺失(2 条相关)→
「漫话AGI」频道最新
- AI 时代技术技能还有价值吗：人类擅长什么工作 — Smooth_Secret394 · 2026-10-08
- OpenAI 公布 722 项数学成果,密码学突破罕见缺席引审查猜测 — burny_tech · 2026-10-08
- Steven Pinker 深度对谈：智能非超能力，AI 末日论站不住脚 — sapinker · 2026-10-08
- 「这是做研究的最好时代」:AI 正在摧毁旧的科研游戏规则 — aran_nayebi · 2026-10-08
- 数学家撰文:为何对 AI 数学革命感到兴奋而非恐惧 — StefanoGogioso · 2026-10-08
- OpenAI 前员工做客 Ezra Klein 播客,讲述让他辞职的所见 — Cubewood · 2026-10-08