注册按钮 登录按钮 QQ按钮

传媒新闻

人工智能“进军”

来源:未知 编辑:admin 时间:2021-12-19

     

  英国《自然》杂志1日发表了一个机器学习框架,能帮助数学家发现新的猜想和定理。该框架由深度思维(DeepMind)开发,已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中,支持数学研究。这也是计算机科学家和数学家首次使用人工智能(AI)来帮助证明或提出纽结理论和表示论等复杂数学领域的新定理。

  纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。

  此次,深度思维团队和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法会搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。

  人工智能专家艾利克斯戴维斯及其同事报告说,将这一方法应用于两个纯数学领域,他们发现了拓扑学(对几何形状性质的研究)的一个新定理和一个表示论(代数系统研究)的新猜想。

  这其中,澳大利亚悉尼大学数学研究所所长乔迪威廉森教授使用该AI,接近证明了一个关于卡兹丹卢斯提格多项式的古老猜想,这个猜想已经有40年没有解决了,其涉及高维代数中的深度对称性。

  论文合著者、英国牛津大学马克拉克比和安德拉斯尤哈斯将这一过程向前推进了一步,他们发现了拓扑学纽结的代数和几何不变量之间的惊人联系,从而在数学中建立了一个全新的定理。

  纽结理论可帮助数学家理解纽结的特性以及它与其他数学分支的关系,在生物、物理学科中也有无数应用,如理解DNA链、流体动力学等。

  深度思维团队总结说,他们的框架能鼓励未来数学和人工智能领域的进一步合作。

  数学家们的工作很纯粹提出猜想并证明这些猜想,从而得出定理。但这些猜想从何而来?科学家已经证明,在数学直觉的指导下,机器学习可以提供一个强大的框架,在有大量数据可用或对象太“难搞定”而无法用经典方法研究的领域中,发现许许多多有趣且可证明的猜想。从另一角度看,AI这种“非凡的工具”已经相当先进,其帮助人们找到人类思维不容易发现的联系,从而对加速多种学科的进步产生巨大影响。(张梦然)

  1、“国际在线”由中国国际广播电台主办。经中国国际广播电台授权,国广国际在线网络(北京)有限公司独家负责“国际在线”网站的市场经营。

  2、凡本网注明“来源:国际在线”的所有信息内容,未经书面授权,任何单位及个人不得转载、摘编、复制或利用其他方式使用。

  3、“国际在线”自有版权信息(包括但不限于“国际在线专稿”、“国际在线消息”、“国际在线XX消息”“国际在线报道”“国际在线XX报道”等信息内容,但明确标注为第三方版权的内容除外)均由国广国际在线网络(北京)有限公司统一管理和销售。

  已取得国广国际在线网络(北京)有限公司使用授权的被授权人,应严格在授权范围内使用,不得超范围使用,使用时应注明“来源:国际在线”。违反上述声明者,本网将追究其相关法律责任。

  任何未与国广国际在线网络(北京)有限公司签订相关协议或未取得授权书的公司、媒体、网站和个人均无权销售、使用“国际在线”网站的自有版权信息产品。否则,国广国际在线网络(北京)有限公司将采取法律手段维护合法权益,因此产生的损失及为此所花费的全部费用(包括但不限于律师费、诉讼费、差旅费、公证费等)全部由侵权方承担。


在线交谈