The Leiden Declaration on Artificial Intelligence and Mathematics warns that AI-generated proofs could erode trust in mathematical research by producing convincing but difficult-to-detect errors.
Five AI Risks to Mathematics Identified by 16 Researchers From 15 Universities