突破文本相关性局限：给模型接几何模拟器实现外部 grounding

gerardsans · x · 2026-10-15

gerardsans 在与网友讨论 LLM 的推理局限时提出：要超越纯文本相关性，需要给模型挂载一个几何模拟器（geometry simulator），使模型能基于确定性的计算规则来验证命题、回答问题，而不是依赖训练数据的支持——这正是 AlphaGeometry2 以及其 agentic 版本所走的路线。他同时补充，如果训练数据中同时包含数学问题和详细的视觉描述，且样本量足够，模型在对应类别上的表现也会提升。讨论的核心观点是：transformer 依赖封闭语料的冻结数据流形，存在因果机制缺失的问题，需要外部工具做 grounding 来弥补。