当地时间2月5日，phys.org网站报道，以色列科技大学的研究人员开发了一种能够自动生成数学猜想的“猜想生成器”。他们已经用猜想生成器生成了许多前所未知的数学公式，这些公式是新定理的起点。相关论文发表于《自然》杂志。
猜想生成器涉及数学中最基本的元素之一——数学常数。数学常数是指在数学计算和数学结构中自然产生的、具有固定值的数字，在数学、生物学、物理学和生态学等学科中都扮演着非常重要的角色。黄金比例、欧拉常数和圆周率π，都是数学常数中的“大明星”。现在，π已经出现在很多科学分支的公式中。很多数学爱好者甚至会竞争谁能记住更多π的小数部分。
猜想是尚未被证明的数学结论或命题；一旦猜想被证实，就变成了定理。涉及基本常数的数学猜想极少，它往往源自天才数学家们的非凡直觉。牛顿、哥德巴赫、高斯、欧拉和拉马努金都是这方面的杰出代表。
印度数学家拉马努金（Ramanujan）生于1887年，32岁便与世长辞。他最著名的能力便是对未经证明的数学公式的直观表达。据此，研究人员将新算法命名为“拉马努金机器”，因为它能够不经证明，用人工智能和计算机自动化“模仿”直觉，生成猜想。
该研究的指导老师Ido Kaminer说：“猜想机器令人印象深刻，因为计算机不在乎证明公式的难易程度，也不必借助已有的数学知识得出新结果。仅仅基于常数，它便能生成猜想。很大程度上，我们的算法与拉马努金的工作方式是一致的。需要指出的是，算法本身并不能证明它发现的猜想，这类工作可能还是需要交给人类数学家来完成。”
拉马努金机器不仅为π和欧拉常数等著名常数创造了已知公式，还生成了此前未知的新猜想。其中最有趣的猜想与隐藏在加泰罗尼亚常数中的新代数结构有关。
研究人员表示，新算法有望显著提升涉及基本常数的数学猜想的生成速度，并帮助识别这些常数之间的新关联。
此前，在长达几百年的时间中，人类只发现了几十个公式。现在，拉马努金机器只花了几个小时，就发现了数学王子高斯穷尽一生发现的所有圆周率公式，以及数十个高斯也未发现的新公式。研究人员称：“类似思路可以在未来引领数学猜想的发展，并为数学研究提供一个强力工具。”
目前，Kaminer团队建立了网站RamanujanMachine.com，旨在通过提供算法工具，激励更多人参与到数学研究之中。在论文发表之前，已有数百名学生、专家及数学爱好者在该网站进行了注册。
科界原创
编译：雷鑫宇
审稿：西莫
责编：陈之涵
期刊来源：《自然》
期刊编号：0028-0836
原文链接：
https://phys.org/news/2021-02-ramanujan-machine-conjecture-mathematical-conjectures.html
版权声明：本文由科界平台原创编译，中文内容仅供参考，一切内容以英文原版为准。转载请注明来源科技工作者之家—科界App。
