Gary Marcus：现代数学 AI 是混合系统，不是纯 LLM
GaryMarcus · x · 2026-07-21
Gary Marcus 转发并认可了一段关于数学 AI 的技术判断：很多批评他的人并没有真正理解细节，但“纯 LLM”在硬数学任务上的短板并没有被推翻。
- 引文认为，仅靠规模扩展 解决不了复杂数学里的连锁幻觉问题。
- 更有效的路线是：先用推理轨迹做 SFT，再用过程奖励做 RL，推理时结合类似 MCTS 的搜索，并接入可执行工具。
- 结论是：今天更强的数学 AI 本质上是 混合系统，而不是纯 Transformer。
「漫话AGI」频道最新
- 10 条 Markdown 规则把 Claude Code 改成 ADHD 友好输出 — alex_verem · 2026-07-22
- AI 算力需求刺破美国能源缺口，呼吁打破稀缺重建产能 — bradneuberg · 2026-07-22
- ControlAI CEO 主张国际禁令阻止超级智能 — zetalyrae · 2026-07-22
- Gary Marcus 说，LLM 仍然不能真正独立做数学 — GaryMarcus · 2026-07-22
- Gary Marcus：LLM 会做数学不等于真的懂智能 — GaryMarcus · 2026-07-22
- AI 可能让数字工作无限放大，线下生活更有人味 — illscience · 2026-07-22