© Lena Melchert, HPI
The first ai4math Workshop took place on 28–29 July 2026 in Potsdam. As the inaugural event of the ai4math Berlin Brandenburg network, it brought together researchers from academia and industry working at the intersection of mathematics and artificial intelligence. Over two days, participants discussed topics including large language models, theorem proving, formal verification, AI assisted research, mathematical knowledge management, and AI in university mathematics education.
The organisers would like to thank all speakers and participants for their excellent talks, engaging discussions, and for making the workshop such a great success. We were delighted to see so many fruitful conversations and new connections emerge across disciplines.
The workshop has now been moved to our Past Events section. A conference photo has been added, and the presentation slides of our speakers will be uploaded over the coming weeks as they become available.
For the programme, abstracts, participants, and future updates, please visit the workshop page:
https://www.ai4math.de/events/past/ai-workshop-ai4math-2026-07/