Date: March 14, 2024
Speakers: Mark Hughes
Title: Can AI learn to perform research in pure mathematics?
Abstract: With the rapid advancement of AI impacting multiple scientific fields, it is natural to inquire about the role machine learning will play in the development of mathematics. In this talk, I will discuss several avenues through which AI has been used, is being used, and may be used to advance research in pure mathematics. These applications range from solving Olympiad-level geometry problems to searching for counterexamples to conjectures and constructing formal proofs.