Gary Marcus 推测谷歌 Astra 为神经符号架构
GaryMarcus · x · 2026-08-01
针对谷歌 Astra 模型展现出的强大数学证明能力，知名 AI 学者 Gary Marcus 发表看法。他认为 Astra 很可能是一个结合了工具和框架的神经符号 LLM，而不是纯粹的 LLM。
此外，有用户反馈称，直接在对话框中提示 Fable 和 5.6 Sol 模型证明非sofic群的存在性，它们在不使用任何外部工具的情况下也成功了。
所属事件:OpenAI数学突破遭Gary Marcus等质疑炒作(38 条相关)→
「漫话AGI」频道最新
- 学者讨论 AI 垂直整合困局：厂商难自办律所，出路何在 — sethlazar · 2026-10-16
- METR 指出公众对 AI 实验室存在三大盲区：密谋、监控与研发加速 — CFGeek · 2026-10-16
- LMR-BENCH 登 EMNLP 2025:LLM Agent 能否复现真实语言建模研究 — ZhiyuChen4 · 2026-10-16
- 研究者预判:Deep Research 对专家真正有用将是 RSI 到来的先行指标 — ZeeshanZiaML · 2026-10-16
- 物理学者视角质疑：ML 社区不该默认模型「不可理解」 — tszzl · 2026-10-16
- Ben Affleck 称 AI 只是矩阵运算,Grady Booch 亦附和否认机器思考 — Grady_Booch · 2026-10-16