Online Seminar
Talks and follow-up discussions on AI and mathematics.
View the seminar programmeA curated collection of background reading, courses, seminars, and practical resources on the interaction between mathematics and AI.
Events and discussions about AI in mathematical research and education and its implications for the future of the profession.
A blog featuring mathematicians' perspectives on how AI is changing mathematical research, teaching, and professional life.
Continuously updated evaluations of AI systems on recent mathematical competitions, proof-based problems, and research-level tasks.
Benchmarks ranging from advanced undergraduate mathematics to research-level and open mathematical problems.
A declaration on the growing capabilities of AI in mathematics and the need to safeguard conceptual understanding, attribution, and the human mathematical community.
A declaration calling for the responsible and transparent use of AI in mathematics.
An association advocating for mathematics as a human endeavour and for critical scrutiny of AI’s effects on research, publishing, education, and the mathematical community.