Abstract / Synopsis
The Leiden Declaration on Artificial Intelligence and Mathematics provides insight into how mathematicians view their discipline. However, when positioning mathematics against AI, the declaration falls short in recognizing recent advances. This column introduces the reader who might be unfamiliar with these new methods through the formal language Lean and discusses how these new abilities might change the way journals operate.
Recommended Citation
Mark Huber, "Opening the Lantern: The Leiden Declaration," Journal of Humanistic Mathematics, Volume 16 Issue 2 (July 2026), pages 463-470. . Available at: https://scholarship.claremont.edu/jhm/vol16/iss2/34
