Gary Marcus(@GaryMarcus)· Gary Marcus (@GaryMarcus)·· 3 天前AI 评估 · 31/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Gary Marcus 评 OpenAI 新数学成果：用 Lean 等符号 AI 加 LLM，但不等于 AGI
since many people are asking me about the new math results from OpenAI, here is my take. 1. It uses...
AI 导读
Gary Marcus 就 OpenAI 新数学成果表态：该系统在 LLM 之外还使用了 Lean 等符号 AI，印证了他多年主张的神经符号 AI 路线。但他强调这并不意味着 OpenAI 已实现 AGI，因为数学领域的符号验证与符号数据增强无法在开放的真实世界中广泛泛化。他重申 2019 年的观点：神经符号 AI 是必要而非充分条件，世界模型同样关键。
来源：Gary Marcus(@GaryMarcus) · x.com