ProofTrace 框架检测 AI 辅助数学证明

Yuanchuan Guo、Jiashun Jin、Zheng Tracy Ke 与 Bingcheng Sui 发布论文，提出 ProofTrace 框架，将论文表示为即时证明支持图（GIPS），提取数学组织特征以识别 AI 参与数学证明。论文称，在单独的检测实验中，ProofTrace 能区分人写论文与公开披露实质性使用 AI 的论文。 研究者将现有论文与其用生成式 AI 产出的论文合并，构建了共 8,281 篇论文的五个队列作为研究数据。

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

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