AI4Math 淘金热 II：AI 辅助证明有哪些特征？

研究构建了包含 8,281 篇论文的五个队列，并提出 ProofTrace 框架，将论文表示为即时证明支持图（GIPS）以提取可解释的数学组织特征。研究发现 AI 生成证明存在反复出现的特征，如更少引用外部结果、更依赖中间结论和改变的图连通性，且这些特征在研究领域、稿件长度或图规模控制下依然存在。