AI has lowered the cost of producing sophisticated mathematical proofs. The Nivat conjecture, unsolved for nearly three decades, now has multiple purported proofs. Some authors used AI but did not disclose full involvement. Proofs are more than correctness certificates; they convey insight and understanding. Mathematics now faces a watershed moment in valuing discovery over mere theorem production. The field must realign incentives to reward explanation and understanding. AI-generated proofs are arriving faster than the community can digest them. Human authorship involves responsibility, concept understanding, and teaching others. Mathematics is the canary in the coal mine for AI’s broader intellectual disruption.