Gary Marcus
@GaryMarcus
既然很多人问我对 OpenAI 新数学成果的看法，以下是我的观点。
1. 它在 LLM 之外还使用了符号 AI（Lean 等），这正是我多年来一直说我们需要做的；这印证了我实际说过的话（而不是这里泛滥的各种虚构的歪曲）。
2. 这仍然不意味着他们拥有了 AGI；据我所知，这些数学成果并不能广泛泛化，因为你无法在开放式的真实世界中使用同样的符号验证（以及符号数据增强技术）。
所以是的，在神经符号 AI 这一点上我确实感到自己被证明是对的，但不，AGI 中的 G（通用）还没有解决。
我在 2019 年说过的话依然成立：神经符号 AI 是必要的，但不是充分的；世界模型同样关键。
