From the String Landscape to the Mathematical Landscape: a Machine-Learning Outlook
arXiv:2202.06086v15 citations
Originality Synthesis-oriented
AI Analysis
This is an incremental review for researchers in mathematics and AI, summarizing existing approaches without new results.
The paper reviews the use of machine learning to explore mathematical problem landscapes, positioning it as a model for human intuition that aids in conjecture formulation, pattern recognition, and computation.
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.