Die Leiden Declaration on Artificial Intelligence and Mathematics wurde von einer 16-köpfigen Forschergruppe über acht Monate nach einer Konferenz an der Universität Leiden im September 2025 erarbeitet und am 2. Juni 2026 veröffentlicht. Die International Mathematical Union – die das Fields-Medaille-Programm überwacht – hat die Erklärung unterstützt. Sie benennt fünf zentrale Bedrohungen: (1) KI-Modelle produzieren schwer erkennbare fehlerhafte Beweise; (2) Trainingsdaten verletzen häufig Urheberrechte und Quellenangaben fehlen; (3) KI-Nutzung wird um ihrer selbst willen incentiviert und benachteiligt Forschende ohne Zugang; (4) mathematische Ergebnisse werden über Pressemitteilungen kommuniziert, bevor die Fachcommunity sie evaluieren kann; (5) Tech-Unternehmen dringen auf „asymmetrischen Bedingungen" in die Mathematikforschung vor. Auslöser der Debatte war OpenAIs Ankündigung, ein KI-Modell habe eine 80 Jahre alte geometrische Vermutung widerlegt – zeitgleich mit Berichten über einen geplanten Börsengang des Unternehmens. Kritik richtet sich daran, dass OpenAI keine Informationen zu Prompts, Trainingsdaten oder Rechenaufwand veröffentlichte. Die Erklärung hat bereits hunderte Unterzeichner gewonnen, darunter Mathematiker von Imperial College London, Oxford und Columbia University.