Seminar: AI and the Future of Mathematics (Prof. Dr. Thomas Nikolaus), A joint seminar of TRR 326, TRR 358, CRC 1442, and Mathematics Münster, devoted specifically to the impact of AI on mathematics. Programme and registration: https://www.uni-muenster.de/MathematicsMuenster/ai-math/