会给人类出数学难题的AI出现了

{image=1}文章来源：NaturePortfolio以数学家拉马努金名字命名的算法能给出很有意思的公式，一些公式证明起来还很难。撰文|DavideCastelvecchi研究人员新构建的一种人工智能（AI）可以生成数学公式，包括一些数学家至今都没能解决的问题。