11am-12pm, Wednesday 30th August 2023Can AI help mathematicians solve tough problems?
Presented by Prof Geordie WilliamsonVenue:
J07.Mechanical Engineering Building, Seminar Room 2 S226Abstract:
In many applications of AI, one only cares about getting the answer right (or right most of the time). If a self-driving car doesn’t crash we are happy. However, for applications in mathematics (and science more broadly) one cares much more about the “why?”. Interpretability is a massive issue in modern AI. Since 2020 I have been working with DeepMind on applications of machine learning in mathematics. I’ll try to discuss some success stories, and the (major) hurdles that remain.