Breakthroughs in machine learning have led to impressive results in numerous fields in recent years. I will review some of the best-known results on the computer science side, provide simple ways to think about the associated techniques, discuss possible applications in string theory, and present some applications in string theory where they already exist. One promising direction is using machine learning to generate conjectures that are then proven by humans as theorems. This method, sometimes referred to as intelligible AI, will be exemplified in an enormous ensemble of F-theory geometries that will be featured throughout the talk.
- String Theory Seminar