Paper ID: 2202.06086

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

Yang-Hui He

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.

Submitted: Feb 12, 2022