该机器学习框架由有名人工智能(AI)企业DeepMind开拓，已经帮助创造了不同纯数学领域的两个新猜想，这项研究展示出机器学习如何整合进现存事情流支持数学研究。

国际最新研究：人工智能资助数学家创造新的猜想和定理_数学_机械 智能写作

据先容，纯数学研究事情的关键目标之一是创造数学工具间的规律，并利用这些联系形成猜想：疑惑为真但尚未得到严格证明的阐述。
从20世纪60年代开始，数学家开始利用打算机帮助创造规律和提出猜想，但人工智能系统尚未普遍运用于理论数学研究领域。

论文通讯作者、DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架，用于帮忙数学研究。
他们的算法搜索数学工具间潜在的规律和联系，考试测验探求意义。
其后由数学家接手，利用这些不雅观察来勾引他们对潜在猜想的直觉。

亚历克斯·戴维斯和同事在论文中报告说，将机器学习框架这一方法运用于两个纯数学领域，创造了拓扑学(对几何形状性子的研究)的一个新定理，以及一个表示论(代数系统研究)的新猜想。
他们总结认为，机器学习框架能鼓励未来数学和人工智能领域的互助。
(完)

来源：中国***网