【新智元导读】近日，《自然》杂志上发表了一个项目，有研究人员建立了一个AI算法项目 ，可以产生新的数学公式，且其中一些公式很难证明是否是正确的。这个项目以印度传奇数学家拉马努金（Srinivasa Ramanujan）命名。
到了 1914 年，拉马努金已经身在剑桥大学了。正如他在《一个数学家的辩白》中写的那样，是拉马努金给了他生活下去的勇气:“当我心情沮丧的时候，当我不得不去听那些讨厌鬼的夸夸其谈的时候，我至少能对自己说:‘我做过一件你从没做过的事情，那就是我曾经和利特尔伍德以及拉马努金平起平坐过。
世界上天才有很多，但是印度有一位数学家，他没有受过正规的训练，却表现出了异于常人的数学天赋，仅凭“直觉”就能写下复杂的数学公式，并且没有人能看懂，直到死后才有人发现这些公式的秘密，连英国的大数学家哈代都说他“发现并创造了数学”，但这个人却在33岁突然死去，这个人就是印度天才数学家拉马努金，他做的事情一定会让你叹为观止。
挑战人类智慧极限的数学，可能不再是人类的专长了。利用AI和计算机自动化，以色列理工学院的研究人员开发了一种“数学机器”，可以创建数学猜想，其名为“拉马努金机器”。他们已经使用它来生成许多以前未知的公式，这些公式是新定理的起点。相关论文发表于《自然》杂志。
拉马努金的算功不世出，亘古无二，我相信反对这个说法的人不多，可是他那些壮观的公式都是怎么发现的？难道他真的有一颗上帝之脑？难道真如他在世时经常宣称的他的这些公式是娜玛卡尔女神在梦中赐给他的，这是一种神秘的灵感？
