How can AI support mathematical research—and where are its limits? This new seminar series within the TRR 358 (Paderborn/Bielefeld) brings together researchers to exchange practical experiences with AI tools, from Lean and proof assistants to AI-assisted coding, agentic workflows, and the foundations of large language models.
The seminar features both internal experience reports and talks by external experts, and is open to all TRR members—no prior AI background required. Sessions are held in hybrid format across Paderborn and Bielefeld, with external speakers typically joining via Zoom.
For more information: math.uni-paderborn.de/ag/arbeitsgruppe-spektralanalysis/forschung/aifpm