北京治疗白癜风哪家医院疗效最好 https://jbk.39.net/yiyuanzaixian/bjzkbdfyy/nxbdf/近日，《自然》杂志上发表了一个项目，有研究人员建立了一个AI算法项目，可以产生新的数学公式，且其中一些公式很难证明是否是正确的。这个项目以印度传奇数学家拉马努金（SrinivasaRamanujan）命名。年4月，著名投资人尤里·米尔纳(YuriMilner)在自己家中举行了一场小规模的晚宴，到场的嘉宾包括GoogleCEO皮查伊、创始人布林、FacebookCEO扎克伯格及其他数十位硅谷领袖等。米尔纳当晚放映了一部传记体电影——《知无涯者》，而影片讲述的正是传奇数学家拉马努金的一生。据报道，宴会结束后，扎克伯格等人是红着眼眶走出来的，他们当即宣布将联手成立一项新基金，以纪念拉马努金。拉马努金是二十世纪最传奇的数学家之一：他独立发现了近个数学公式和命题，几乎没受过正规的高等数学教育的他，却能凭直觉写出不平凡的定理和公式，且往往被证明是正确的。同时还留了世人很多自己的笔记，引发了后来的大量研究。其中几个由他发现的神奇公式如下：拉马努金圆周率公式：拉马努金常数（几乎是一个整数）：拉马努金连根式：拉马努金余弦立方根公式：正是这些美妙的数学公式，让激起了研究人员的兴趣。设计Ramanujan机器的目的是产生计算重要数学常数(如π或e)数字的新方法，其中许多常数是无理数，这意味着它们有无数个不重复的小数。像e和π这样的基本常数在不同的科学领域无处不在，包括物理学、生物学、化学、几何学和抽象数学。然而，几个世纪以来，与基本常数有关的新的数学公式很少，而且通常是凭借数学直觉或创造力偶尔发现的。Ramanujan机器可以从众所周知的公式开始计算数字，例如π的前几千位数字。从这些数据中，该算法试图预测一个新的表达式，这个表达也可以做同样的计算得到相同的结果。这个过程会产生一个很好的猜测（conjecture），然后就要靠人类数学家来证明这个表达式是否能够正确地计算出整个数字。该团队在年开始就在该项目的网站上公开这些推测，研究人员已经证明了其中的一些猜测是正确的。但有些问题仍有待解决，其中一个是关于「Apery常数」的问题，Apery常数在物理学中有重要应用。「最后一个结果，也是最令人兴奋的一个，但是没有人知道如何证明」，物理学家IdoKaminer说，「但是算法自动创造的推测可以指引数学家们找到人们不知道存在的数学分支之间的联系」。连分数（Continuedfractions）拉马努金机器目前的应用还十分有限:到目前为止，算法只能生成一个特定类型的式子，称为连分数。这些分数表示一个数字为一个无限的分数序列，这些分数嵌套在彼此的分母中。团队人员已经尝试了一系列算法来寻找连分数，并将它们应用到各种概念上重要的数字上。其中一个是加泰罗尼亚常数（Catalan’sconstant），这个数字起源于十九世纪比利时数学家欧仁·加泰罗尼亚的研究。加泰罗尼亚常数大约为0.，但它是如此神秘，以至于没有人知道它是否是有理的，也就是说它是否可以表示为两个整数的分数。数学家们能做的最好的事情就是证明它的「非理性指数」——用有理数来近似一个数字的难度的度量，这个值至少是0.。证明加泰罗尼亚常数是无理的等价于证明其非理性指数大于1。而由拉马努金机器生成的公式，使卡米纳的团队在最好的人类结果上略有改善，使指数达到0.。增加复杂性（Increasing
转载请注明：http://www.aierlanlan.com/rzfs/6703.html
