Mathematician Notes Duplicate AI-Generated Math Proofs · Digg