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. I have written up the code that reproduces that they did in the paper, and 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 27th, 2024
2:00 PM - 2:50 PM
Olin Hall 218
