AI and the Future of Mathematics
October 20 at 20:00 – 21:30 CEST
Ken Ono (University of Virginia and Axiom Math): Mathematics in the Age of AI: Discovery, Reasoning, Verification, and Unease
A joint seminar of TRR 326, TRR 358, CRC 1442, and Mathematics Münster, devoted specifically to the impact of AI on mathematics.