Gary Marcus 质疑 OpenAI 数学成果:报告零细节,通过不了同行评审
GaryMarcus · x · 2026-10-08
Gary Marcus 撰文评 OpenAI 发布的内部前沿模型批量数学新成果,称「真正的新闻不是结果本身,而是他们没告诉我们的东西」。
Marcus 的核心质疑:
- 报告 vague 到过不了同行评审:不知道实验流程、模型架构、证明是一次生成后由 Lean 验证还是迭代过程
- 失败率、训练/后训练/数据增强细节全部缺失
- 因此完全无法判断结果在数学之外的可泛化性
- 他认为该系统既可能是通向 AGI 的实质一步,也可能只是把 Lean 与合成数据在可验证领域里聪明地用了一把,毫无通用性
- 批评社交媒体讨论沦为「不知道自己在欢呼什么」的啦啦队
文中还引述了 Terence Tao 的补充评论(称两者观点互补),但正文未展开 Tao 的具体内容。
所属事件:Gary Marcus 炮轰 OpenAI 数学证明报告缺细节(3 条相关)→
「漫话AGI」频道最新
- PwC 英国营收二十余年首降，创业者指咨询业败在领导力 — DavidLinthicum · 2026-10-08
- AI 为什么用第一人称说话？论者称那是界面而非自我 — gerardsans · 2026-10-08
- AI 接管信息时代后，'点子人'的黄金时代来了？ — Musenik · 2026-10-08
- 黄仁勋:Agent 用电脑工具的掌握将远超人类,可能性指数级放大 — BenBajarin · 2026-10-08
- 神经科学家 Anil Seth 发文:以假乱真的 AI 数字人是糟糕透顶的主意 — anilkseth · 2026-10-08
- Ethan Mollick:未来不会是一次奇点,而是百万个小奇点 — emollick · 2026-10-08