tarski

本文提出了一个受塔斯基启发的对角线论证，表明在LLM的嵌入空间上，没有线性探针能够可靠地检测真理，并与哥德尔不完备定理和图灵停机问题进行了类比。该文批判了语言模型中关于真理的线性表示假说。