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

文章预览

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