Title: Guiding Intuition with Saliency Analysis
Abstract: We will be discussing the Nature paper "Advancing mathematics by guiding human intuition with AI" by Davies et al. They found an interesting way to use supervised learning to help mathematicians find the right way to approach difficult open conjectures. This led to progress on the combinatorial invariance conjecture, and to some new results in knot theory.
This will likely be a two-part talk. In the first part I will go through the main ideas of the paper on a high level. I have written up the code that reproduces what they did in the paper, and next week I would like to walk through the code with you, show you how to solve some toy problems, trick you into making some subtle but deadly mistakes, and discuss how to overcome some possible pitfalls with this method.
Wednesday March 20th, 2024
2:00 PM - 2:50 PM
Olin Hall 218
