Sixteen mathematicians published the Leiden Declaration to establish ethical guardrails for AI in their field. The group warns against over-reliance on automated proofs and demands transparency in algorithmic verification. This effort seeks to protect the integrity of mathematical discovery. Practitioners must now balance machine speed with rigorous human oversight to ensure correctness.