研究发现AI规约证明近六成偏离本意

一项研究称，研究团队让AI生成形式化规约及证明后，接近60%的用例证明的性质并非作者本意；验证器仍确认这些证明成立。研究指出，验证器无法区分容易证明但无实际意义的性质与有用性质，说明仅凭机器验证通过不能保证证明符合原始意图。

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

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