论文标题
从弦乐景观到数学景观：机器学习前景
From the String Landscape to the Mathematical Landscape: a Machine-Learning Outlook
论文作者
论文摘要
我们回顾了使用机器学习来探索数学问题的格局的最新计划。以这种范式作为人类直觉的模型 - 与自动定理的更形式主义方法相比，我们强调了一些有关AI如何帮助猜想的表述，模式识别和计算的实验。
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.
