ProofTrace框架用于检测AI参与数学证明

Yuanchuan Guo 提出并验证了 ProofTrace 框架，用于区分人类撰写与披露实质性 AI 使用的数学论文。该框架把论文表示为即时证明支撑图（GIPS），从中提取可解释的数学组织特征；研究基于 8,281 篇论文的五个队列展开。 研究发现，AI 生成证明具有反复出现的特征：引用外部结果更少、更依赖中间结论、图连通性发生改变。在检测实验中，ProofTrace 能区分人类撰写与披露实质性 AI 使用的论文，且在 AI 改写后性能保持稳定；相比之下，现有文本检测器的性能大幅下降。

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

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