帮助数学家发现新猜想和定理 人工智能“进军”数学领域
发布时间:2021-12-21 15:13:07 文章来源:科技日报
英国《自然》杂志1日发表了一个机器学习框架,能帮助数学家发现新的猜想和定理。该框架由深度思维(DeepMind)开发,已经帮助发现了纯数学领

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

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

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

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

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

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

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

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

关键词: 数学家 新猜想 定理 人工智能

热点HOT

  • 警惕免费领取学习机骗局 专家呼吁家长理性判断
    警惕免费领取学习机骗局 专家呼

    免费领取学习机,绝对不收一分钱!假期临近,不少家长考虑为孩子购置学习设备。近期多地家长向记者反映,有不法分子以免费赠送为名,采取电

  • 全国人大常委会通过湿地保护法 将自6月1日起正式施行
    全国人大常委会通过湿地保护法

    十三届全国人大常委会第三十二次会议表决通过了湿地保护法。该法将自2022年6月1日起施行。湿地被喻为地球之肾,与森林、海洋并称为全球三大

  • 北京广播电视台 冬奥纪实8K超高清试验频道正式开播
    北京广播电视台 冬奥纪实8K超高

    鸳鸯喙尖悬挂晶莹欲滴的水珠、云雀利爪去勾树枝上的山杏、白鹭将黑色长腿弯入羽翼休憩……记者走进北京广播电视台冬奥纪实8K超高清试验频道

  • 看病就医“打包支付” 医保支付改革实现三方共赢
    看病就医“打包支付” 医保支付

    日前发布的按疾病诊断相关分组(DRG) 病种分值(DIP)支付方式改革三年行动计划中明确,到2024年底,全国所有统筹地区全部开展DRG DIP支付方式

  • 中国快递发展指数报告发布 12月电商促销再创业务小高峰
    中国快递发展指数报告发布 12月

    近日,国家邮政局发布2021年12月中国快递发展指数报告。经测算,2021年12月中国快递发展指数为311 8,同比提高4 4%。发展规模指数为395 3,

  • 加快发展现代产业体系 我国将建成500个以上智能制造示范工厂
    加快发展现代产业体系 我国将建

    作为制造强国建设的主攻方向,智能制造发展水平关乎我国未来制造业的全球地位,对于加快发展现代产业体系,巩固壮大实体经济根基,构建新发

  • 刮起绿色技术创新“旋风” 长三角绿色低碳相关专利年申请量接近10万件
    刮起绿色技术创新“旋风” 长三

    目前,长三角绿色低碳相关专利的年申请量,已经接近10万件,遥遥领先国内的其他主要地区,如珠三角、京津冀以及成渝地区等。12月27日,江苏

  • 不再无药可医 我科学家破解非酒精性脂肪肝靶向治疗难题
    不再无药可医 我科学家破解非酒

    最新一期《科学·转化医学》以封面文章形式在线发表了武汉大学人民医院心血管内科教授李红良团队的两篇研究论文。该研究突破了非酒精性脂肪

  • 推动宣教工作向纵深发展 厦门电信多举措强化“大宣教”责任体系
    推动宣教工作向纵深发展 厦门电

    中国电信福建厦门分公司宣传教育工作紧紧围绕找准载体、突出重点、务实求效的工作思路,强化党委﹢纪委﹢党员的大宣教责任体系,推动宣教工

  • 历时8年耗费300多吨钢材 宝华耐磨钢啃下科研“硬骨头”
    历时8年耗费300多吨钢材 宝华耐

    临近年末,位于山东省临沂市兰山区城郊的山东宝华耐磨钢有限公司(以下简称宝华耐磨钢)厂区里,一片火热的生产景象。因为主打产品契合了轻量

新闻LOVE