一个简单的结。图片来源：DeepMind
纯数学研究工作的关键目标之一是发现数学对象间的规律，并利用这些联系形成猜想。从20世纪60年代开始，数学家开始使用计算机帮助发现规律和提出猜想，但人工智能系统尚未普遍应用于理论数学研究领域。12月1日，一篇发表在《自然》上的论文显示，DeepMind公司研发出一个机器学习框架，能帮助数学家发现新的猜想和定理。此前，该框架已经帮助发现了不同纯数学领域的两个新猜想。研究人员将这一方法应用于两个纯数学领域，发现了拓扑学（对几何形状性质的研究）的一个新定理，和一个表示论（代数系统研究）的新猜想。研究人员表示，这是计算机科学家和数学家首次使用人工智能来帮助证明或提出复杂数学领域的新定理。
特别声明：本文转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。
