拉马努金机:会给人类出数学难题的AI来啦
以数学家拉马努金名字命名的算法能给出很有意思的公式,一些公式证明起来还很难。
撰文 | Davide Castelvecchi 研究人员新构建的一种人工智能(AI)可以生成数学公式,包括一些数学家至今都没能解决的问题。 这个AI名叫“拉马努金机”(Ramanujan Machine),研究人员想让它用新的方法计算重要数学常数的精确值,例如π和e。很多数学常数都是无理数,意味着它包含无穷多位不重复的小数。
拉马努金在20世纪...

















