ProofTrace 分析 8,281 篇论文：AI 辅助数学证明呈现可识别统计特征

ProofTrace 框架通过分析 8,281 篇数学论文，发现 AI 辅助证明在论证组织方式上存在统计显著、可检测的特征。AI 重建论文引用外部结果的比例仅 0.2%，直接使用中间步骤的比例为 87%，分别低于人类论文的 6.1%和高于 58%。研究还发现不同 AI 参与程度形成定性梯度，实质性 AI 使用论文随时间向 AI 生成队列移动。