人工智能“进军”数学领域
2023-04-18 14:49:21 时间
英国《自然》杂志1日发表了一个机器学习框架,能帮助数学家发现新的猜想和定理。该框架由深度思维(DeepMind)开发,已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中,支持数学研究。这也是计算机科学家和数学家首次使用人工智能(AI)来帮助证明或提出纽结理论和表示论等复杂数学领域的新定理。
纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。
此次,深度思维团队和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法会搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。
人工智能专家艾利克斯·戴维斯及其同事报告说,将这一方法应用于两个纯数学领域,他们发现了拓扑学(对几何形状性质的研究)的一个新定理和一个表示论(代数系统研究)的新猜想。
这其中,澳大利亚悉尼大学数学研究所所长乔迪·威廉森教授使用该AI,接近证明了一个关于卡兹丹—卢斯提格多项式的古老猜想,这个猜想已经有40年没有解决了,其涉及高维代数中的深度对称性。
论文合著者、英国牛津大学马克·拉克比和安德拉斯·尤哈斯将这一过程向前推进了一步,他们发现了拓扑学纽结的代数和几何不变量之间的惊人联系,从而在数学中建立了一个全新的定理。
纽结理论可帮助数学家理解纽结的特性以及它与其他数学分支的关系,在生物、物理学科中也有无数应用,如理解DNA链、流体动力学等。
深度思维团队总结说,他们的框架能鼓励未来数学和人工智能领域的进一步合作。
相关文章
- 清华教授沈向洋:创新就要做到极致,用开源的方式培养未来工程师
- 36岁博士程序员,找不到工作...
- 阿里专家:技术Leader如何提升团队凝聚力?
- 五粮液张琦:紧跟数字化步伐,创造高质量发展新动能
- LeCun眼中的GPT-3:对世界的运作一无所知
- MIT用19个神经元实现自动驾驶控制,灵感来自秀丽隐杆线虫
- IDC发布2021年及未来10大IT趋势
- IT打工人,AI来“抢”你饭碗了!这次从数据中心下手
- 全球公司今年将在AI上花费500亿美元,但没什么东西拿得出手
- 2020联想创新科技大会收官 杨元庆:生态系统协同发力才能带来最佳用户体验
- IDC发布全球IT行业十大预测
- 华为张鹏:以技术创新,抢占新时代互联网风口
- 某百度程序员:每天十点上班,午休两小时,每天闲逛,晚上八点就下班!像家养老公司!这就是百度的没落原因
- AI芯片初创企业探索落地路径 在发展中走向成熟
- Gartner公司预测2021年的主要战略技术趋势
- 中台留下的"天坑",谁来填?
- 13张IT架构图!从数字化转型,到数据架构
- 谷歌启动新战略对抗欧盟新规:建议美国“盟友”加大抵制力度
- 让自动驾驶撞墙,刷别人的脸付账:最新的AI漏洞让我们开眼界
- Gartner发布未来十年技术创新的五大新兴趋势