arXiv 论文提出 ProofTrace 框架，检测数学证明中的 AI 参与

arXiv 论文研究了如何识别数学论文中 AI 参与证明的痕迹。研究团队构建了 5 个共 8,281 篇论文的队列，包含同一研究问题的匹配对照对，并引入 ProofTrace 框架，将论文表示为即时证明支持（GIPS）图并提取可解释特征。分析发现 AI 生成的证明有可复现的特征：外部引用结果更少、更依赖中间结论、图连通性发生改变。在检测实验中，ProofTrace 区分人类论文与披露实质使用 AI 的论文，且在 AI 改写下保持稳定，而最先进文本检测器性能急剧下降。