开放世界里没有可供发现的真相——因为一切观测都被光速所困，永远触不到事件本身。然而在小说、数学、法律这类由声明所封闭的世界里，真相是存在的。审判是把实在投影到法律世界的过程，判决则是在其上进行的运算。当下LLM所缺的不是更大的模型，而是像法治那样明示的封闭程序。
