印度天才数学家拉马努金留下的3000+神奇公式,交给AI来「证明」!
近日,《自然》杂志上发表了一个项目,有研究人员建立了一个AI算法项目 ,可以产生新的数学公式,且其中一些公式很难证明是否是正确的。这个项目以印度传奇数学家拉马努金(Srinivasa Ramanujan)命名。
2016年4月,著名投资人尤里·米尔纳 (Yuri Milner) 在自己家中举行了一场小规模的晚宴,到场的嘉宾包括Google CEO 皮查伊、创始人布林、Facebook CEO 扎克伯格及其他数十位硅谷领袖等。
米尔纳当晚放映了一部传记体电影——《知无涯者》,而影片讲述的正是传奇数...