Andrew Lampinen 追问 Gary Marcus：什么才算神经符号 AI
AndrewLampinen · x · 2026-07-24
Andrew Lampinen 在和 Gary Marcus 的公开讨论里，追问的是 “什么才算神经符号系统”。
- 他先问：没有 harness、没有工具的纯自回归 LM，到底能不能解决新的数学问题，还是只是比带工具时更差。
- 进一步的问题是：如果 LM 在证明过程中自己写了程序或调用了解算器，这算不算神经符号？
- 他还追问，系统的智能是否有一部分来自经典符号组件；如果同样的程序是由人写的，结论是否会变化。
- 最后他把问题扩展到多模型 harness：多个 LM 互答、互审、投票时，什么样的证据能说明这种“符号性”到底来自哪里。
所属事件:Gary Marcus 等探讨神经符号 AI 的真实定义(3 条相关)→
「漫话AGI」频道最新
- AI 自动编程时代，APL 无参风格或将迎来复兴 — satnam6502 · 2026-07-24
- 当机器写代码并验证正确性，Point-free 风格或许会回潮 — satnam6502 · 2026-07-24
- CIHS 启动全球首个认证 AGI 硕士项目 — bengoertzel · 2026-07-24
- OpenAI 被黑事件引深思：模型能力持续提升，风险只会更大 — GarrisonLovely · 2026-07-24
- 超级智能 AI 或许更像多种心智竞争，而非单一理性主体 — eschwitz · 2026-07-24
- Altman 说 OpenAI 要让 AI 研究实习生跑在几十万张 GPU 上 — morgymcg · 2026-07-24