英国《自然》杂志1日发表了一个机器学习框架,能帮助数学家发现新的猜想和定理。该框架由深度思维(DeepMind)开发,已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中,支持数学研究。这也是计算机科学家和数学家首次使用人工智能(AI)来帮助证明或提出纽结理论和表示论等复杂数学领域的新定理。
纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。
此次,深度思维团队和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法会搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。
人工智能专家艾利克斯·戴维斯及其同事报告说,将这一方法应用于两个纯数学领域,他们发现了拓扑学(对几何形状性质的研究)的一个新定理和一个表示论(代数系统研究)的新猜想。
这其中,澳大利亚悉尼大学数学研究所所长乔迪·威廉森教授使用该AI,接近证明了一个关于卡兹丹—卢斯提格多项式的古老猜想,这个猜想已经有40年没有解决了,其涉及高维代数中的深度对称性。
论文合著者、英国牛津大学马克·拉克比和安德拉斯·尤哈斯将这一过程向前推进了一步,他们发现了拓扑学纽结的代数和几何不变量之间的惊人联系,从而在数学中建立了一个全新的定理。
纽结理论可帮助数学家理解纽结的特性以及它与其他数学分支的关系,在生物、物理学科中也有无数应用,如理解DNA链、流体动力学等。
深度思维团队总结说,他们的框架能鼓励未来数学和人工智能领域的进一步合作。(张梦然)
关键词: 数学家 新猜想 定理 人工智能免费领取学习机,绝对不收一分钱!假期临近,不少家长考虑为孩子购置学习设备。近期多地家长向记者反映,有不法分子以免费赠送为名,采取电
十三届全国人大常委会第三十二次会议表决通过了湿地保护法。该法将自2022年6月1日起施行。湿地被喻为地球之肾,与森林、海洋并称为全球三大
鸳鸯喙尖悬挂晶莹欲滴的水珠、云雀利爪去勾树枝上的山杏、白鹭将黑色长腿弯入羽翼休憩……记者走进北京广播电视台冬奥纪实8K超高清试验频道
日前发布的按疾病诊断相关分组(DRG) 病种分值(DIP)支付方式改革三年行动计划中明确,到2024年底,全国所有统筹地区全部开展DRG DIP支付方式
近日,国家邮政局发布2021年12月中国快递发展指数报告。经测算,2021年12月中国快递发展指数为311 8,同比提高4 4%。发展规模指数为395 3,
作为制造强国建设的主攻方向,智能制造发展水平关乎我国未来制造业的全球地位,对于加快发展现代产业体系,巩固壮大实体经济根基,构建新发
目前,长三角绿色低碳相关专利的年申请量,已经接近10万件,遥遥领先国内的其他主要地区,如珠三角、京津冀以及成渝地区等。12月27日,江苏
最新一期《科学·转化医学》以封面文章形式在线发表了武汉大学人民医院心血管内科教授李红良团队的两篇研究论文。该研究突破了非酒精性脂肪
中国电信福建厦门分公司宣传教育工作紧紧围绕找准载体、突出重点、务实求效的工作思路,强化党委﹢纪委﹢党员的大宣教责任体系,推动宣教工
临近年末,位于山东省临沂市兰山区城郊的山东宝华耐磨钢有限公司(以下简称宝华耐磨钢)厂区里,一片火热的生产景象。因为主打产品契合了轻量
“聪明药”无法让人变“聪明 滥用或
聪明药并没有提高智商的作用,滥用会导致成瘾,还可能抑制青少年的生长发育,断药后会出现注意力涣散、精神萎靡、暴躁抓狂等戒断反应。所谓
第81届世界科幻大会将在成都举办 中
近日,在美国华盛顿举办的第79届世界科幻大会宣布,2023年第81届世界科幻大会将在成都举办,这是继2007年日本横滨之后,世界科幻大会第二次
“氢进万家”实施近一年 工程各项任
国内首台燃料电池智能雪蜡车,全国首座高速公路加氢站,首个港口加氢站建设启动……这是氢进万家科技示范工程(以下简称氢进万家)实施近一年
详细规定公共场所自动体外除颤器配置
自动体外除颤器是一种便携、易操作的心脏急救设备,被誉为救命神器。国家卫健委近日印发《公共场所自动体外除颤器配置指南(试行)》,对自动
甘肃省5G网络建设暨工业互联网工作推
近日,甘肃省5G网络建设暨工业互联网工作推进会在兰州召开,甘肃省副省长程晓波主持会议,副省长李沛兴作了讲话。甘肃省通信管理局党组书记