以往一个数学家要验证或者提出一个新的数学猜想时，通常要经过大量的计算，即使有人工智能协助，也只能用来分析一些复杂的数据集，因为最终的数学猜想还是要靠数学家的直觉，这多少有点赌的成分在里面，运气不好就可能要花费大量的时间。在没有人工智能的时候，这个时间就更长了，比如世界近代三大数学难题之一的哥德巴赫猜想，当时哥德巴赫提出猜想之后，苦于没有办法验证出来，所以写信请教赫赫有名的大数学家欧拉，不巧的是直到欧拉离世，这个猜想也没能得到验证，随后这个遗留问题花费了几代数学人的时间才逐渐得到证实。不过最近，一个国际科研团队使用谷歌旗下“深层思维”公司搭建的一个人工智能系统，将一项40多年没有取得进展的数学项目又向前推进了一步，研究人员在人工智能的帮助下，提出了一个全新的定理理论。
虽然这项成果的取得靠的还是数学家的直觉，但是这一次人工智能帮助数学家找到了不易发现的规律和联系，比如大量已有的数据中发现可能被证实的猜想，或者是应用于那些研究对象太庞杂、传统方法无法处理的问题，这个过程就像是给数学家的直觉当中又注入了一丝灵感，在这基础上，数学家就可以进一步进行研究了。
人工智能本身就诞生于各种数学模型，反过来再用它解决只是猜想的数学问题，看起来就像是个有点bug的循环，不过也没关系，科学当中很多结果都是在不可能中发现可能的，现代科学要在纷繁复杂的世界中找到真相和规律，使用人工智能作为辅助工具还是有一定帮助的，希望人工智能研究数学，能够给我们带来一些新的结果。也希望就像研究人员所说的，通过该研究成果，其他学科和领域的研究人员也能够得到启发，把人工智能辅助工具，加速科研进展的取得。
相关文章
