arXiv · AI· Yuanchuan Guo, Jiashun Jin, Zheng Tracy Ke, Bingcheng Sui·· 23 小时前AI 评分42
AI4Math金矿 II：ProofTrace 如何识别 AI 辅助证明的签名
The Gold Rush in AI4Math, II: What are signatures of AI-assisted Proofs?
AI 导读
ProofTrace 框架通过构建含8281篇论文的队列，识别出AI生成证明中外部引用较少、依赖中间结论增加等特征。 该方法在检测到实质性AI使用时表现稳定，不受AI改写影响，而基于文本的现有检测器性能显著下降。
来源：arXiv · AI · arxiv.org