大模型
x.com ·
@Gary Marcus (@GaryMarcus)
Gary Marcus 评 OpenAI 新数学结果：神经符号 AI 获验证，但 AGI 仍未解决
Gary Marcus 针对 OpenAI 新数学结果发表看法：该工作除 LLM 外还使用了 Lean 等符号 AI，这印证了他多年主张的神经符号路线；但他强调这并不意味着实现 AGI，因为数学领域的符号验证与数据增强难以泛化到开放的真实世界。他重申 2019 年观点：神经符号 AI 是必要但不充分的，世界模型同样关键。
AI推荐理由 Gary Marcus 对 OpenAI 新数学结果的评论，指出其结合了 Lean 等符号 AI 与 LLM，并强调这不能证明 AGI、数学能力难以泛化到开放世界。属于观点性评论而非一手证据，未提供具体技术细节或可验证数据，但涉及神经符号 AI 与 AGI 讨论，对理解该方向有参考价值。
62
浏览 57,321
点赞 306
评论 77
转发 24
正文
since many people are asking me about the new math results from OpenAI, here is my take.
1. It uses symbolic AI (Lean, etc) in addition to LLMs which is what i said for years we would need to do; this this confirms what I actually said (as opposed to various fictitious misrepresentations that run rampant around here )
2. It still doesn’t mean they have AGI; the math stuff AFAIK does not generalize broadly, because you can’t use the same symbolic verification (and symbolic data augmentation techniques) in the open-ended real world.
So yes I do feel vindicated wrt to neurosymbolic AI but no the G in AGI (general) is not yet solved.
What I said in 2019 remains true: neurosymbolic AI is necessary but not sufficient; world models are also key.