印度天才数学家拉马努金留下的3000+神奇公式,交给AI来「证明」
2021年2月4日 - 百家号
新智元导读近日,《自然》杂志上发表了一个项目,有研究人员建立了一个AI算法项目,可以产生新的数学公式,且其中一些公式很难证明是否是正确的。这个项目以印度传奇数学家拉马努金(SrinivasaRamanujan)命名。2016年4月,著名投资人尤里·米尔纳(YuriMilner)在自己家中举行了一场小规模的晚宴,到场的嘉宾包括...
详情
谷歌造出拉马努金机:几毫秒求解数学常数,无需任何先验信息
2019年7月6日 - 新浪
有Reddit网友把拉马努金机器找到的公式写成Python代码,各算了一遍e和π,分别用了15步和18步的迭代,就能达到float64的精度,也就是小数点后15位。拉马努金机器不仅能算数学常数,如李维常数、辛钦常数,还能计算一些物理常数,如天文学计算中的拉普拉斯极限等等。作者下一步的目标用它来做数学证明,发现数学常数的固有...
详情