LASER：面向长程协议依赖的可废止证书搜索

2026年10月15日，arXiv Artificial Intelligence 刊出由 Zihan Tang、Huibiao Zhu 提出的 LASER，一种面向稀疏、可废止协议证据的证明携带式搜索方法。该方法将缺失支撑与未决修正表示为显式义务，由符号检查器判定证书是支持、反驳还是无法判定某行为。据该报道，在 91 个 BehaviorCheck 家族、匹配的 2K 预算下，LASER 在两个模型家族上把 Joint Edge+Proof 分别提升 Δ=+.132（p=.017）和 Δ=+.198（p<.001），同时将假发现减少 2–3 倍。同一报道还称，一项 authority-corruption 重放显示，来源链接错误只会导致弃权，唯一的不安全 warrant 机制是把 Held erratum 误记为 Verified，且局限于该 erratum 所属家族。目前该事件仅有这一篇报道，尚无后续跟进或相互矛盾的说法。

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

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