From the String Landscape to the Mathematical Landscape: a Machine-Learning Outlook

Abstract

We review the recent programme of using machine-learning to explore the landscape of mathematical problems. With this paradigm as a model for human intuition - complementary to and in contrast with the more formalistic approach of automated theorem proving - we highlight some experiments on how AI helps with conjecture formulation, pattern recognition and computation.

10 pages, 2 figures. Based on various talks in 2021-22, this is an invited contribution to the Proceedings of "The 14th International Workshop on Lie theory and its applications in physics", to be published by Springer-Nature