人工智能攻城略地的领域越来越大了,这次是数学。英国《自然》杂志2021年12月1日发表了由人工智能公司DeepMind开发的一个机器学习框架,该框架已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以支持数学研究,这也是计算机科学家和数学家首次使用人工智能来帮助证明或提出纽结理论和表示论等数学领域的复杂定理。
纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想。从20世纪60年代起,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。
此次,DeepMind团队和数学家一起建立了一个机器学习框架,用于协助数学研究。团队还表示,他们的框架能鼓励未来数学和人工智能的进一步合作。(记者崔爽)