Resources

• Leiden Declaration on Artificial Intelligence and Mathematics (2 June 2026, endorsed by the International Mathematical Union). It calls for action on the challenges that the use of artificial intelligence poses to mathematical research.
• Proofs and Prompts — a communal blog written by mathematicians, for mathematicians, on how AI tools are changing mathematical practice.