SemantEq 提出形式语句双向等价新标准

Xinrui Li 等作者提出 SemantEq，一种比现有做法更严格的形式化语句等价关系：两个语句必须仅通过逻辑重排、用库内等式重写等允许步骤相互转化，才算等价。 这区别于依赖证明器各自证明、再经 True 中转的等价判定方式。作者同时发布了 SemantEq-Eval 和 SemantEq-ProofAudit。报道未给出该关系在实际语句上的验证结果或适用范围。

AI 根据报道生成 · 48 分钟前更新

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