Gary Marcus 反驳 Chollet:LLM 进步并非抛弃符号工具
GaryMarcus · x · 2026-10-02
François Chollet 提出核心观点:2024 年前的 base LLM 与现代 LRM 的关键区别不是符号工具使用,而是从「直译式」范式(直接直觉出答案)转向「归纳式」范式(直觉出能产生答案的程序/指令,即测试时对自然语言程序做归纳预测)。
Gary Marcus 对此提出异议,认为:
- 这个范式切换虽重要,但若无符号式代码解释器来运行代码,毫无用处;
- 忽视了用 Lean 等工具做形式化验证的关键作用;
- 符号搜索也是主要贡献者。
他建议把表述从「the critical distinction」改为「a critical distinction」,并不同意「符号工具使用不重要」的说法。
所属事件:Chollet 与 Gary Marcus 激辩 AI 范式转变与符号工具(4 条相关)→
「漫话AGI」频道最新
- Duvenaud 提出「永久边缘」论：无前沿 AI 的国家只担风险无红利 — teortaxesTex · 2026-10-03
- 「超级智能」一词有坑：算力被误当作智慧与道德权威 — AnnaCiaunica · 2026-10-03
- 与其逃避「AI 肉身代理」，不如做一个增值型肉身代理 — brandon_galang · 2026-10-03
- 从诺曼底 D-Day 延迟一天,看首席预报员如何顶住压力否决直觉决策 — shashib · 2026-10-03
- joelgrus:读遍 Dennett 与 Chalmers 后,我认定意识研究无人有可用之言 — ZeroStateReflex · 2026-10-03
- Merzmensch：AI 本身不是艺术，但人能用它创作艺术 — Merzmensch · 2026-10-03