超越语言：大语言模型中的格式无关推理子空间

本文探讨大语言模型是否在不同符号系统（如散文、代码、数学）中共享统一的内部推理基础。通过引入 TriForm 基准并利用 RSA、交叉形式探测及激活修补技术，研究发现中层存在“格式无关推理子空间”（FARS）。提取的 10 维子空间能显著放大概念结构并抑制形式信息，跨形式修补时保留高达 96% 的输出性能。该子空间具有泛化性且跨架构收敛，支持柏拉图表示假说，并揭示了声明性与程序性表示间的不对称性。