Workshop theme
This workshop addresses a crucial paradigm shift: how Artificial Intelligence (AI) can assist mathematicians and improve the open science infrastructure for the mathematical sciences. While mathematics is foundational to AI, this meeting flips the perspective to explore AI as a powerful tool for mathematical discovery and practice.

Key focus areas include:

Enhancing scholarly information systems and building digital mathematics libraries;
Accelerating the verification of complex proofs;
Fostering AI-human collaboration to formulate new conjectures and construct proof strategies. 

The event will bring together experts in digital infrastructure and AI for science to explore how modern AI can accelerate discovery, improve user experience, and foster effective collaboration within the global mathematical community. This workshop aims to build a better understanding of the current challenges and opportunities for AI in mathematics.

Applications close by end of Sunday 1st March 2026.

Webpage