You know how a forensic accountant doesn't read your receipts — they look at the shape of your spending patterns? A human who fakes expense reports tells a different structural story than someone spending honestly, even if the individual receipts look clean. That's this paper's core move: instead of scanning the words in a math paper for AI tells, they scan the architecture of the proofs themselves — how results depend on each other, which lemmas cite external work vs. derive intermediate conclusions, what the graph topology of logical support looks like. The committed claim: AI-generated and AI-assisted math proofs carry structural signatures in their proof organization that are detectable even after AI-driven text rewriting destroys surface-level linguistic markers. This is not an NLP paper in disguise. The authors introduce ProofTrace, a framework that converts each paper into a "graph of immediate proof support" (GIPS) — essentially a DAG of theorems, lemmas, propositions, and their dependency edges. From this graph they extract interpretable features: node counts, edge densities, ratios of external citations to internal intermediate results, connectivity patterns. The empirical base is serious: 8,281 papers across five carefully designed cohorts spanning human-only, AI-reworded, AI-generated, and disclosed-AI-use papers, including matched pairs addressing identical research problems. The matched-pair design is the strongest element. PCA projections of the extracted features reveal a gradient: human papers cluster together, AI-reworded papers stay close to them, fully AI-generated papers depart in consistent directions, and disclosed-AI-use papers sit in between — shifting toward the AI-generated cluster over time. The recurring signatures are specific: AI-generated proofs cite fewer external results, rely more heavily on intermediate conclusions, and show altered graph connectivity. The detection experiment is where this gets practically interesting. ProofTrace distinguishes human papers from those disclosing substantive AI use with stable performance even after AI rewording. Meanwhile, state-of-the-art text-based detectors — the tools everyone currently uses — see their performance decline sharply once AI rewrites the surface text. This is exactly the failure mode you'd expect: text detectors play the style game, and style is the easiest thing for a language model to launder. The ladder position is honest but limited. There isn't really a named SOTA for structural proof detection because this paper is defining the task. The comparison is against text-based detectors (GPTZero, DetectGPT-class tools), and ProofTrace wins specifically on robustness to rewording — it's not claiming higher raw accuracy in the easy case. The architecture is graph-theoretic feature extraction fed into standard classifiers, not deep learning end-to-end. This is a feature, not a bug: interpretability matters for a detection tool that might be used in editorial or academic integrity contexts. The integrity picture is mixed. The authors constructed some of their own AI-generated cohorts, which means they're partly grading their own homework. The matched-pair design mitigates this, but independent replication on independently generated AI papers would be the real test. There's no pre-registration, no independent validation set from another group, and no code release mentioned in the abstract. The disclosed-AI-use cohort relies on author self-reporting, which the paper itself acknowledges as potentially incomplete — a genuine epistemological limitation they don't sweep under the rug. The successor question is loud: what happens when AI models are specifically trained or prompted to mimic human proof structure? Current AI proofs show structural tells because the models weren't optimizing for structural mimicry. The moment someone fine-tunes a model to produce human-like GIPS topology, the arms race enters a new phase. The authors almost certainly know this, and the fact that they didn't run adversarial structural evasion experiments suggests either compute limits or a deliberate scoping choice for a follow-up paper.
