AI-generated proofs undermine the primary purpose of mathematical research