AI-Generated Proofs Threaten Mathematical Theorem Scarcity | HACKOBAR_