#ProofTrace

这篇论文造了 8000 多篇论文的数据集，专门研究怎么看出数学证明是不是 AI 写的，连改写过的都能识别出来，做学术检测的可以看看。