研究提出ProofTrace框架检测AI辅助数学证明

Yuanchuan Guo等作者提出ProofTrace框架，将论文表示为即时证明支撑图（GIPS），以提取可解释的数学组织特征，用于检测AI参与的数学证明。该研究基于包含8,281篇论文的五个队列。 研究发现，AI生成的证明存在反复出现的特征：更少引用外部结果、更依赖中间结论、图连通性改变；作者称这些特征在研究领域、稿件长度或图规模控制下依然存在。

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

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