Math and Machine Learning Lecture: Can AI help with hard mathematics?
September 12, 2024 @ 4:00 pm - 5:00 pm
Math and Machine Learning Lecture
Date: Thursday, Sep. 12, 2024
Time: 4:00 – 5:00 pm
Location: Science Center & via Zoom Webinar
Speaker: Geordie Williamson, University of Sydney
Title: Can AI help with hard mathematics?
Abstract: The last years have seen remarkable advances in what AI can do. It is perhaps surprising that its impact on research in pure mathematics has been modest. Reasoning, which is so quintessential to the mathematical process, remains a major challenge for current AI systems. I will survey some exciting recent applications of AI in mathematics research, trying to highlight what AI can do and the challenges that remain.