Gary Marcus 炮轰 OpenAI 数学证明报告：关键信息全缺失，过不了同行评审
GaryMarcus · x · 2026-10-08
Gary Marcus 针对 OpenAI 发布的"未发布模型"数学证明成果发表长文，核心观点不在结果本身，而在于报告隐瞒了什么：
- 报告只写了 "Same procedure" 和 "using an unreleased model"，完全没有说明证明流程（是一次性生成后用 Lean 验证，还是迭代式过程）、失败率、训练/后训练/数据增强细节；这样的报告根本过不了同行评审。
- 因此无法判断该结果在数学之外有多强的可泛化性——它可能是通往 AGI 的一步，也可能只是巧妙利用 Lean 和合成数据在可验证领域刷出的成果，毫无泛化价值。
- 他还批评 X 上的 AI 讨论已沦为"无知的欢呼区"，人们在没有基本科学质疑的情况下鼓掌。
所属事件:Gary Marcus 炮轰 OpenAI 数学证明报告信息缺失(2 条相关)→
「漫话AGI」频道最新
- Steven Pinker 深度对谈：智能非超能力，AI 末日论站不住脚 — sapinker · 2026-10-08
- 「这是做研究的最好时代」:AI 正在摧毁旧的科研游戏规则 — aran_nayebi · 2026-10-08
- 数学家撰文:为何对 AI 数学革命感到兴奋而非恐惧 — StefanoGogioso · 2026-10-08
- 借《三体》谈 AGI 时代:文明级威胁需要世纪尺度的长期主义 — JacquesThibs · 2026-10-08
- COLM'26 三篇论文：自对弈基准 MathDuels 让评测难度随模型共进化 — AI4Code · 2026-10-08
- eigenrobot 争 AI 安全圈预测文化：量化概率比含糊说"不确定"更有价值 — eigenrobot · 2026-10-08