推理验证论文被 AI 2040 引用

a_karvonen · x · 2026-07-10

作者表示，自己的两篇推理验证论文被 AI 2040 引用了。作者还说明，验证一个只做推理的 treaty 是这些论文最初设想的主要应用场景。