研究人员新构建的一种人工智能（AI）可以生成数学公式，包括一些数学家至今都没能解决的问题。

这个AI名叫“拉马努金机”（Ramanujan Machine），研究人员想让它用新的方法计算重要数学常数的精确值，例如π和e。

这个AI会先从众所周知的公式开始计算，例如π的前几千位。之后，算法会预测出一个很合理的新公式来计算同样的值。这个过程得到的合理猜测被称为“猜想”，然后再由人类数学家证明该公式可以正确计算出这个整数。

迄今为止，研究人员已经证明了其中一些猜想的正确性，但有些问题还没有答案，包括在物理学中有重要应用的Apery常数的计算。“最后的结论，也是最激动人心的结论，没有人知道要怎么证明。”领导该项目的以色列理工学院（Technion）海法校区物理学家Ido Kaminer说。自动生成的猜想可以提示数学家不同数学分支之间的联系——这些联系之前从没人想到过，他补充说。

该项目2月3日发表于《自然》，以20世纪初的印度数学家拉马努金的名字命名。

论文标题：

AI maths whiz creates tough new problems for humans to solve

论文链接：

https://www.nature.com/articles/d41586-021-00304-8

 

内容中包含的图片若涉及版权问题，请及时与我们联系删除