AI-written math proofs leave detectable structural fingerprints, study finds

Original: The Gold Rush in AI4Math, II: What are signatures of AI-assisted Proofs?

Source: arxiv.org ↗