Research
ProofTrace: Detecting AI-Generated Proofs via Structural Signatures
This paper introduces ProofTrace, a framework that represents mathematical papers as graphs of immediate proof support to detect AI involvement in proofs. Using five cohorts of 8,281 papers, the authors identify structural signatures of AI-generated proofs, such as fewer external citations and altered graph connectivity. ProofTrace distinguishes human-written papers from those with substantive AI use and remains stable under AI rewording, unlike text-based detectors.
AI in mathematicsdetection of AI-generated contentgraph-based text analysis