一种新的人工智能“数学家”，被称为拉马努金机器（theRamanujanMachine）的新型人工智能“数学家”，有可能揭示数字之间隐藏的关系，这种新的人工智能机器可以在需要证明的情况下证实数学猜想。这台“机器”由算法组成，这些算法寻找猜想，或可能为真但尚未被证明的数学结论。猜想是数学定理的起点，这些定理已被一系列方程证明。
这套算法是以印度数学家斯里尼瓦瑟·拉马努金
（SrinivasaRamanujan）的名字命名的。年，拉马努詹出生在一个商店店员和家庭主妇的家庭，他是一个神童，他想出了许多数学猜想，证明和解答出以前从未解过的方程。年，也就是在他因病早逝的前2年，他被选为英国皇家学会的资深会员，成为继年海洋工程师阿达西尔·科塞吉（ArdaseerCursetjee）之后第二位被选为会员的印度人。
新的人工智能机器发现了数字间隐藏的关系？或有助于证明数学猜想。医疗设备公司美敦力负责人工智能和数据科学的副总裁、拉马努金机器的开发者之一、物理学家亚伦·哈达德（YaronHadad）指出，拉马努金对数字有天生的感觉，对其他人看不到的模式或关系有敏锐的洞察力。哈达德告诉记者，这位新的人工智能机器旨在从大量潜在方程中提取出有前景的数学模式，这让拉马努金的名字与之相吻合。
机器学习已被用于从图像识别到药物发现的各种模式发现的应用程序中，其中的算法在最小限度的方向上从程序员那里检测出大量数据中的模式。哈达德和他在海法以色列理工学院的同事们，想看看他们能否将机器学习用于更基础的领域。
哈达德表示：“我们想看看能否将机器学习应用到非常非常基础的东西上，所以我们认为数字和数论是非常非常基础的。”（数论研究是对整数或可以无分数书写的数字的研究。）
已经有一些研究人员使用机器学习将猜想转化为定理——这个过程被称为自动证明定理。相反，拉马努金机器的目标是首先识别出有希望的数学猜想。这曾经是人类数学家的领域，他们提出了著名的建议，如费马大定理，该定理声称，当整数n2时，对于所有正整数x，y，z方程x^n+y^n=z^n，在n2时没有非零的整数解。这个著名的猜想是年数学家皮埃尔·德·费马在一本书的空白处写下的，但直到年才得到证实。
为了指导拉马努金机器开展深入研究，研究人员将注意力集中在基本常数上，即在方程式中是固定且基本正确的数字。最著名的常数可能是圆的周长与直径之比，也就是广为人知的圆周率。不管圆的大小如何，圆周率总是3.……等等。
该算法实质上扫描了大量潜在方程，以寻找可能表明存在表示该常数的公式的模式。程序首先扫描有限的数字（可能是5或10），然后记录所有的任何匹配项，然后，对匹配项进行扩展以查看模式是否进一步重复。当出现有希望的模式时，该猜想就可用来尝试证明数学猜想。哈达德透露，到目前为止，已经产生了多个有趣的猜想，其中几十个已经得到了证实。
研究人员在《自然》杂志上发表了他们的研究结果。他们还建立了一个网站RamanujanMachine.