ramanujan机器自动生成基本常数的猜想-九游官网首页进入
以色列理工学院的一组研究人员构建了他们所描述的拉曼努简机器,该机器会自动生成基本常数的猜想(被提出为真实陈述的数学陈述)。他们写了一篇描述其设备的论文,并将其上传到arxiv预印服务器。他们还为希望允许网络使用计算机的处理周期,提出证明或针对新的数学结构开发代码的人们创建了一个网页。
ramanujan机器以著名的数学家srinivasa ramanujan的名字命名,srinivasa ramanujan是一位自学成才的数学家,他在长大,并被同等数学家gh hardy“发现”。移居英国后,他成为了剑桥大学的固定人物,在那里他以非传统的数学动摇了数学世界-与其不去研究数学证明,他还通过直觉获得了针对著名问题的结果,然后让其他人为他们找到证明。因此,他有时被描述为一台猜想机器,将公式从稀薄的空气中抽出,就好像它们是从更高的生物那里收到的-有时是在梦中。在这项新的工作中,以色列的研究人员试图使用计算能力来复制这种方法。
ramanujan机器比实际机器更多是一个概念,它是由运行算法的计算机网络组成的,这些算法致力于以连续分数的形式查找有关基本常数的猜想-这些定义为无穷长的分数,其中分母是某个数量加上一个分数,其中后一个分数具有相似的分母,等等。)机器的目的是提出猜想(以数学公式的形式) ),人类可以进行分析,并有望在数学上证明是正确的。创造机器的团队希望他们的想法能激发下一代的数学家—为此,他们指出,参与者开发的任何新算法,证明或猜想都将以他们的名字命名。研究人员指出,他们的机器已经发现了许多新的猜想。