Leiden Declaration Signals Caution as AI Probes Theorems in Math

A group of 16 mathematicians released the Leiden Declaration on Artificial Intelligence and Mathematics to frame future directions and push back against unchecked AI use in math. It follows OpenAI’s recent AI-generated proof of a Erdos problem and warns of accuracy, transparency, and access issues when commercial AI research drives questions and methodologies. The declaration, endorsed by the International Mathematical Union and tied to discussions at the International Congress of Mathematicians, urges preserving core mathematical values—openness, credit, verification—and calls for responsible collaboration with industry to ensure human insight remains central.