【新智元导读】近日，《自然》杂志上发表了一个项目，有研究人员建立了一个AI算法项目 ，可以产生新的数学公式，且其中一些公式很难证明是否是正确的。这个项目以印度传奇数学家拉马努金（Srinivasa Ramanujan）命名。
2016年4月，著名投资人尤里·米尔纳 (Yuri Milner) 在自己家中举行了一场小规模的晚宴，到场的嘉宾包括Google CEO 皮查伊、创始人布林、Facebook CEO 扎克伯格及其他数十位硅谷领袖等。
米尔纳当晚放映了一部传记体电影——《知无涯者》，而影片讲述的正是传奇数学家拉马努金的一生。
据报道，宴会结束后，扎克伯格等人是红着眼眶走出来的，他们当即宣布将联手成立一项新基金，以纪念拉马努金。
拉马努金是二十世纪最传奇的数学家之一：他独立发现了近3900个数学公式和命题，几乎没受过正规的高等数学教育的他，却能凭直觉写出不平凡的定理和公式，且往往被证明是正确的。同时还留了世人很多自己的笔记，引发了后来的大量研究。
其中几个由他发现的神奇公式如下：
拉马努金圆周率公式：
