天才数学家拉马努金留下的3000+神奇公式用AI来「证实」_常数_数学
2016年4月,著名投资人尤里·米尔纳 (Yuri Milner) 在自己家中举行了一场小规模的晚宴,到场的高朋包括Google CEO 皮查伊、创始人布林、Facebook CEO 扎克伯格及其他数十位硅谷领袖等。
米尔纳当晚放映了一部传记体电影——《知无涯者》,而影片讲述的正是传奇数学家拉马努金的生平。
据宣布,宴会结束后,扎克伯格等人是红着眼眶走出来的,他们当即宣告将联手成立一项新基金,以纪念拉马努金。
拉马努金是二十世纪最传奇的数学家之一:他独立创造了近3900个数学公式和命题,险些没受过正规的高档数学教诲的他,却能凭直觉写出不平凡的定理和公式,且每每被证明是精确的。同时还留了众人很多自己的条记,引发了后来的大量研究。
个中几个由他创造的神奇公式如下:
拉马努金圆周率公式:
拉马努金常数(险些是一个整数):
拉马努金连根式:
拉马努金余弦立方根公式:
正是这些美妙的数学公式,让激起了研究职员的兴趣。
设计 Ramanujan 机器的目的是产生打算主要数学常数(如 π 或 e)数字的新方法,个中许多常数是无理数,这意味着它们有无数个不重复的小数。
像 e 和 π 这样的基本常数在不同的科学领域无处不在,包括物理学、生物学、化学、几何学和抽象数学。然而,几个世纪以来,与基本常数有关的新的数学公式很少,而且常日是凭借数学直觉或创造力偶尔创造的。
Ramanujan 机器可以从众所周知的公式开始打算数字,例如 π 的前几千位数字。从这些数据中,该算法试图预测一个新的表达式,这个表达也可以做同样的打算得到相同的结果。
这个过程会产生一个很好的预测(conjecture),然后就要靠人类数学家来证明这个表达式是否能够精确地皮算出全体数字。
该团队在2019年开始就在该项目的网站上公开这些推测,研究职员已经证明了个中的一些预测是精确的。
但有些问题仍有待办理,个中一个是关于 「Apery 常数」的问题,Apery 常数在物理学中有主要运用。「末了一个结果,也是最令人愉快的一个,但是没有人知道如何证明」,物理学家 Ido Kaminer 说,「但是算法自动创造的推测可以指引数学家们找到人们不知道存在的数学分支之间的联系」。
连分数(Continued fractions)
拉马努金机器目前的运用还十分有限: 到目前为止,算法只能天生一个特定类型的式子,称为连分数。这些分数表示一个数字为一个无限的分数序列,这些分数嵌套在彼此的分母中。
团队职员已经考试测验了一系列算法来探求连分数,并将它们运用到各种观点上主要的数字上。个中一个是加泰罗尼亚常数(Catalan’s constant),这个数字起源于十九世纪比利时数学家欧仁 · 加泰罗尼亚的研究。
加泰罗尼亚常数大约为0.916,但它是如此神秘,以至于没有人知道它是否是有理的,也便是说它是否可以表示为两个整数的分数。
数学家们能做的最好的事情便是证明它的「非理性指数」——用有理数来近似一个数字的难度的度量,这个值至少是0.554。证明加泰罗尼亚常数是无理的等价于证明其非理性指数大于1。而由拉马努金机器天生的公式,使卡米纳的团队在最好的人类结果上略有改进,使指数达到0.567。
增加繁芜性(Increasing complexity)
自动天生预测并不是打算机帮助推动数学发展的唯一领域。
打算机赞助打算在几个引人瞩目的结果的证明中发挥了关键浸染。最近,一些数学家在人工智能方面取得了进展,人工智能不仅能进行重复的打算,还能自己做出证明。另一个正在发展的领域是软件,它可以检讨人类写的数学证明,并检讨它是否精确。
「终极,人类将会被淘汰」,Zeilberger 说,他是证明自动化领域的先驱,并且帮助证明了 Ramanujan 机器的一些猜想,「随着人工智能产生的数学的繁芜性增加,数学家们将只能粗略地理解打算」,他补充道。
不过,只管打算机可能能够提出数学陈述,乃至证明它们是精确的,但是如果没有人类的干预,目前还不清楚它们是否能够区分深刻的,有趣的陈述,还是仅仅从技能上是精确的而已。
如果感兴趣的话,你可以不才面的链接中运行 Ramanujan 算法来创造新的数学猜想,如果能够证明是精确的,那么创造的新猜想将以你的名字命名!
参考链接:
http://www.ramanujanmachine.com/
Github项目链接:
https://github.com/AnonGit90210/RamanujanMachine
本文系作者个人观点,不代表本站立场,转载请注明出处!