SemantEq：形式语句的双向等价关系

2026年10月26日，arXiv Artificial Intelligence 刊出 Xinrui Li 等作者的论文，提出 SemantEq 形式语句等价关系及配套的 SemantEq-Eval、SemantEq-ProofAudit。报道称，SemantEq 是一种比逻辑等价更严格的形式化命题等价关系：它要求两个命题只能通过逻辑重排、库内等式重写等允许步骤互相转化，并按 Lean 校验的证明项而非 tactic 脚本判定。作者表示已发布代码与数据，但报道未给出具体发布地址，仅以占位链接指代。目前该工作处于论文公开、代码与数据已发布阶段，尚无后续跟进报道，也未出现与早先报道矛盾的数字或说法。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。