科学家利用人工智能实现两项数学突破

一个简单的结。图片来源：DeepMind

纯数学研究工作的关键目标之一是发现数学对象间的规律，并利用这些联系形成猜想。从20世纪60年代开始，数学家开始使用计算机帮助发现规律和提出猜想，但人工智能系统尚未普遍应用于理论数学研究领域。12月1日，一篇发表在《自然》上的论文显示，DeepMind公司研发出一个机器学习框架，能帮助数学家发现新的猜想和定理。此前，该框架已经帮助发现了不同纯数学领域的两个新猜想。研究人员将这一方法应用于两个纯数学领域，发现了拓扑学（对几何形状性质的研究）的一个新定理，和一个表示论（代数系统研究）的新猜想。研究人员表示，这是计算机科学家和数学家首次使用人工智能来帮助证明或提出复杂数学领域的新定理。