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

02/12/2022

∙

by   Yang-Hui He, et al.

∙

0

∙

share

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.