Ramanujan机器自动生成基本常数的猜想

以色列理工学院的一组研究人员构建了他们所描述的拉曼努简机器，该机器会自动生成基本常数的猜想(被提出为真实陈述的数学陈述)。他们写了一篇描述其设备的论文，并将其上传到arXiv预印服务器。他们还为希望允许网络使用计算机的处理周期，提出证明或针对新的数学结构开发代码的人们创建了一个网页。

Ramanujan机器以著名的数学家Srinivasa Ramanujan的名字命名，Srinivasa Ramanujan是一位自学成才的数学家，他在长大，并被同等数学家GH Hardy“发现”。移居英国后，他成为了剑桥大学的固定人物，在那里他以非传统的数学动摇了数学世界-与其不去研究数学证明，他还通过直觉获得了针对著名问题的结果，然后让其他人为他们找到证明。因此，他有时被描述为一台猜想机器，将公式从稀薄的空气中抽出，就好像它们是从更高的生物那里收到的-有时是在梦中。在这项新的工作中，以色列的研究人员试图使用计算能力来复制这种方法。

Ramanujan机器比实际机器更多是一个概念，它是由运行算法的计算机网络组成的，这些算法致力于以连续分数的形式查找有关基本常数的猜想-这些定义为无穷长的分数，其中分母是某个数量加上一个分数，其中后一个分数具有相似的分母，等等。)机器的目的是提出猜想(以数学公式的形式) )，人类可以进行分析，并有望在数学上证明是正确的。创造机器的团队希望他们的想法能激发下一代的数学家—为此，他们指出，参与者开发的任何新算法，证明或猜想都将以他们的名字命名。研究人员指出，他们的机器已经发现了许多新的猜想。