A seminar series within the TRR 358 (Paderborn / Bielefeld).

The series provides a forum for exchanging experiences on the use of AI as a tool in pure mathematics research. Members of the TRR are experimenting with these tools at varying levels; the aim is to share what works and what does not, and to learn from one another. Topics range from formalization and proof assistants (Lean) to AI-assisted coding, agentic workflows, and the foundations of neural networks and large language models. The format includes both internal reports of practical experience and talks by external speakers with deeper expertise in specific areas.

The seminar is open to all members of the TRR, regardless of prior familiarity with AI. No background beyond mathematical interest is assumed. It runs in hybrid form across the two universities; external talks are typically held via Zoom.

Core time slots are Fridays 9–11 and Mondays 10–12. Dates vary between weeks so that teaching and other recurring commitments do not exclude the same participants each time.