Gary Marcus:OpenAI 数学证明靠神经符号结合,但离 AGI 仍远
GaryMarcus · x · 2026-10-07
Gary Marcus 评论 OpenAI 新的数学证明成果：他指出 OpenAI 在数学任务上除 LLM 外还使用了符号 AI（如 Lean 等形式化验证工具），这印证了他多年来的判断——神经符号结合才是必经之路。
但他同时强调两点：
- 这不代表 OpenAI 已实现 AGI；据他所知，数学能力并不能广泛泛化，因为符号验证（及符号数据增强技术）无法套用到开放的真实世界问题上。
- 所以他为自己在神经符号 AI 上的长期立场感到“平反”，但认为 AGI 中的 G（通用）仍未被解决。
「模型」频道最新
- 基于 Gemma4 的 26B 决策模型 GEV-26B 登上 HF 热榜 — autotrust · 2026-10-07
- 转推称 AI 已解决 500 个最重要数学开放问题中的 90 个 — jeffclune · 2026-10-07
- karminski 实测 Claude Opus 5.5:几分钟重构出工业级风扇监控面板 — karminski3 · 2026-10-07
- Reddit 用户察觉 ChatGPT 语气突变：回答明显更保守、不敢下判断 — sweetjale · 2026-10-07
- 每个结果仅耗 3 小时 ChatGPT Pro 思考量，研究者称令人震惊 — Dr_Atoosa · 2026-10-07
- Elliot Glazer:OpenAI 发布及格,但此前传闻几乎全被证伪 — ctjlewis · 2026-10-07