印度天才数学家拉马努金留下的3000+神奇公式

泰罗尼亚常数大约为0.916，但它是如此神秘，以至于没有人知道它是否是有理的，也就是说它是否可以表示为两个整数的分数。

数学家们能做的最好的事情就是证明它的「非理性指数」——用有理数来近似一个数字的难度的度量，这个值至少是0.554。证明加泰罗尼亚常数是无理的等价于证明其非理性指数大于1。而由拉马努金机器生成的公式，使卡米纳的团队在最好的人类结果上略有改善，使指数达到0.567。

增加复杂性（Increasing complexity）

自动生成猜测并不是计算机帮助推动数学发展的唯一领域。

计算机辅助计算在几个引人注目的结果的证明中发挥了关键作用。最近，一些数学家在人工智能方面取得了进展，人工智能不仅能进行重复的计算，还能自己做出证明。另一个正在发展的领域是软件，它可以检查人类写的数学证明，并检查它是否正确。

「最终，人类将会被淘汰」，Zeilberger 说，他是证明自动化领域的先驱，并且帮助证实了 Ramanujan 机器的一些猜想，「随着人工智能产生的数学的复杂性增加，数学家们将只能粗略地理解计算」，他补充道。

不过，尽管计算机可能能够提出数学陈述，甚至证明它们是正确的，但是如果没有人类的干预，目前还不清楚它们是否能够区分深刻的，有趣的陈述，还是仅仅从技术上是正确的而已。

如果感兴趣的话，你可以在下面的链接中运行 Ramanujan 算法来发现新的数学猜想，如果能够证明是正确的，那么发现的新猜想将以你的名字命名！

（编辑：通化站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!