A New Declaration Warns AI Could Threaten the Foundations of Mathematics

The Leiden Declaration, signed by 16 mathematicians and over 130 peers, warns that widespread AI use threatens mathematical research. It outlines key challenges to mathematical integrity and offers recommendations for researchers, institutions, governments, and enterprises. The declaration emphasizes transparency and disciplinary values, with co-author Rodrigo Ochigame noting consensus was hard-won through full agreement. Christoph Sorger of the IMU stated not all will agree with every point, but the process prioritized collective responsibility. The declaration calls for careful scrutiny of AI's role in mathematical discovery and validation.