克雷研究所100万美元奖金要归AI了数学界规则大改，未来数学家如何应对「海量猜想」

AIGC动态欢迎阅读

原标题：克雷研究所100万美元奖金要归AI了数学界规则大改，未来数学家如何应对「海量猜想」
关键字：数学,领域,人工智能,数学家,发现
文章来源：新智元
内容字数：8137字

内容摘要：

新智元报道编辑：LRS
【新智元导读】数学领域，以其廉价的数据及问题的严谨性，成为了人工智能辅助发现的理想试验场，但唯有人类自己，才能区分出好猜想和坏猜想。在数学的世界里，想要对「一个未经证实的猜想」进行完整的证明，往往需要天赋、直觉和经验的结合，即使是数学家也很难解释自己的发现过程。
然而，随着近几年大模型的崛起，我们共同见证了一种新的变革力量，AI不仅在预测椭圆曲线的复杂度上超越了人类，还在探索基本常数的新公式上取得了突破。
最近，伦敦数学科学研究所所长托马斯·芬克 (Thomas Fink)在Nature的world view栏目发布了一篇文章，探讨了AI如何在数学领域中发挥其独特的作用，以及如何帮助数学家从猜想走向证明。文章链接：https://www.nature.com/articles/d41586-024-01413-w
数学数据的丰富性和独特性为AI的训练提供了肥沃的土壤：从素数到结理论，AI正在帮助我们发现数学对象之间的新联系。
例如，通过在线整数序列百科全书(OEIS)，可以利用AI工具搜索近375,000个序列，寻找那些意想不到的关系，文中揭示了AI如何在数学

原文链接：克雷研究所100万美元奖金要归AI了数学界规则大改，未来数学家如何应对「海量猜想」