Over 800 mathematicians signed the Leiden Declaration warning that AI is producing plausible but unreliable proofs, eroding human expertise, and steering mathematical priorities toward what AI is good at rather than what matters. Kevin Hartnett reads it as a field asserting: this is our discipline, and you don't get to tell us how it runs.