作者：神经符号推理与程序合成是 AI 进展核心，Marcus 和 Chollet 被低估

joshua_saxe · x · 2026-09-04

作者认为 Gary Marcus 与 François Chollet 早在能力爆发前就正确预判了神经符号推理与程序合成在 AI 进展中的核心地位，但至今未获应有认可。

他的核心论点是：让 LLM 执行代码，等于让模型越过「推理与反射」之间的灰色地带，直接操作「理念领域」——即通过程序这种形式化表达来精确定义和操纵抽象概念。他认为这是过去四年 AI 领域排名前三的突破之一，类比人类自 1940 年代采用计算机以来五千年文明史上的同等跃迁。