LLM 神经符号路线再讨论
GaryMarcus · x · 2026-07-12
转发的观点认为，围绕 LLM 的“神经符号”思路并没有消失，只是从最初的 verifier，扩展到了 AST、planner 和各种 loop 机制。 作者的核心判断是：大家追求的并不是把一切都塞进 latent space，而是在系统外层不断加入结构化控制与验证；这和所谓的 #LLM Modulo 设想有相通之处，只是还没真正走到“全在 latent space 里完成”的阶段。
GaryMarcus · x · 2026-07-12
转发的观点认为，围绕 LLM 的“神经符号”思路并没有消失，只是从最初的 verifier，扩展到了 AST、planner 和各种 loop 机制。 作者的核心判断是：大家追求的并不是把一切都塞进 latent space，而是在系统外层不断加入结构化控制与验证；这和所谓的 #LLM Modulo 设想有相通之处，只是还没真正走到“全在 latent space 里完成”的阶段。