机器在数学方面越来越好——人工智能已经学会在几秒钟内解决大学水平的微积分问题。Facebook人工智能研究中心的弗朗索瓦·查顿（François Charton）和纪尧姆·兰普尔（Guillaume Lample）培训人工智能求解计算机随机生成的数千万个微积分问题。

Charton说，在计算机上做微积分在实践中并不是特别有用，但通过进一步的训练，人工智能也许有一天能够解决人类难以破解的数学问题。此前，谷歌创造了一个数学人工智能，已经证明了1200个定理。

Facebook's AI mathematician can solve university calculus problems

https://www.newscientist.com/article/2228399-facebooks-ai-mathematician-can-solve-university-calculus-problems/

https://www.newscientist.com/article/2228399-facebooks-ai-mathematician-can-solve-university-calculus-problems/#ixzz68kiqVN6Q

Reference: arxiv.org/abs/1912.01412