解释：什么是拉马努金机器，为什么它以印度数学家的名字命名？

在他的一生中，拉马努金提出了新的方程和恒等式——包括导致 pi 值的方程——通常留给受过正式训练的数学家来证明这些。

在他的一生中，拉马努金提出了新的方程和恒等式——包括导致 pi 值的方程——通常留给受过正式训练的数学家来证明这些。

以色列理工学院的科学家们开发了一个概念，他们以印度数学家的名字命名了拉马努金机器。它不是真正的机器，而是一种算法，并执行非常规的功能。

它能做什么

对于大多数计算机程序，人类输入一个问题并期望算法找出解决方案。使用拉马努金机器，它的工作方式相反。输入一个常数，比如众所周知的 pi，算法将得出一个包含无限级数的方程，它会提出，其值恰好是 pi。现在交给人类：让某人证明这个提议的方程是正确的。

为什么拉马努金

该算法反映了 Srinivasa Ramanujan 在他短暂的一生（1887-1920 年）期间的工作方式。他几乎没有受过正规训练，就与当时最著名的数学家打交道，特别是在他逗留英格兰期间（1914-19 年），在那里他最终成为皇家学会会员，并获得了剑桥大学的研究学位。

在他的一生中，拉马努金提出了新的方程和恒等式——包括导致 pi 值的方程——通常留给受过正式训练的数学家来证明这些。 1987 年，两个加拿大兄弟用 1/pi 证明了 Ramanujan 的所有 17 个系列；两年前，一位美国数学家和程序员使用其中一个公式计算出超过 1700 万位的 pi，这是当时的世界纪录（Deka Baruah, Berndt & Chan；美国数学月刊，2009 年）。

拉马努金在昆巴科南的房子。 （来源：Arun Janardhanan）

重点是什么？

猜想是在任何科学分支（尤其是数学）中做出新发现的过程中的重要一步。定义基本数学常数（包括 pi）的方程总是优雅的。然而，研究人员在他们的论文中指出，数学中的新猜想一直稀缺且零星，目前该论文在预印服务器上。这个想法是为了加强和加速发现的过程。

在剑桥大学三一学院。 （来源：维基媒体）

它有多好？

该论文给出了算法生成的先前未知方程的示例，包括常数 pi 和 e 的值。拉马努金机通过匹配数值提出了这些猜想公式，没有提供证明。然而，必须记住，这些是无限级数，人类只能输入有限数量的项来测试级数的值。因此，问题是该系列是否会在某一点之后失败。研究人员认为这不太可能，因为他们测试了数百个数字。

该算法反映了 Srinivasa Ramanujan 在他短暂的一生（1887-1920 年）期间的工作方式。

在没有得到证实之前，它仍然是一个猜想。同样的道理，在被证明是错误的之前，猜想仍然是一个猜想。该算法很可能会提出可能需要数年时间才能证明的猜想——人类猜想的一个著名例子是费马大定理，该定理于 1637 年提出，仅在 1994 年得到证明。

在哪里可以找到它

研究人员建立了一个网站，ramanujanmachine.com。用户可以为算法提出证明或提出新的算法，并以他们的名字命名。

和你的朋友分享: