11 月 19 - 20 日 Apache Pulsar 社区年度盛会来啦,立即报名! 了解详情
写点什么

DeepMind 新研究登上 Nature 封面,这一数学难题被 AI 攻破了

  • 2021-12-07
  • 本文字数:1695 字

    阅读完需:约 6 分钟

DeepMind新研究登上Nature封面,这一数学难题被AI攻破了

机器学习第一次发现了人类遗漏的数学联系。

 

近日,位于伦敦的人工智能巨头 DeepMind 的研究人员与数学家合作解决了两个独立的问题——一个是结理论,另一个是对称性研究。在这两种情况下,人工智能技术都帮助研究人员发现了可以使用传统方法进行研究的新模式。

 

在过去,结理论的数学问题一直是未解的难题。机器学习算法以前也曾被用于生成数学中的此类理论思想,但到目前为止,这些算法解决的问题比 DeepMind 解决的问题小。 

 

DeepMind 的机器学习专家、新论文的作者之一 Alex Davies 说:“利用机器学习在纯数学中做出重大的新发现是前所未有的事。” 

 

参与这项研究的数学家之一、英国牛津大学 Marc Lackenby 也表示,“让我震惊的是,在直觉感知上,机器学习能起到的指导作用真是太大了。”

 

自 1980 年代以来,纽约坎顿的数学家 Jeffrey Weeks 表示,绳结的计算机模拟和可视化长期以来一直帮助数学家寻找规律并启发他们的直觉。但是,他补充道,“让计算机寻找规律会将研究过程提升到一个完全不同的水平。”

棘手的问题

 

在理解结理论时,数学家依赖于称为不变量的东西,也就是相同的代数、几何或数值量。在这种情况下,他们研究了等效结中相同的不变量;等价可以通过多种方式定义,但是如果可以将一个结扭曲为另一个而不打破结,则可以认为结是等效的。几何不变量本质上是对结整体形状的测量,而代数不变量描述了结如何相互缠绕和打结。

 

“到目前为止,几何和代数不变量这两件事之间还没有经过证实的联系,”Davies 说道。但数学家认为这两者之间可能存在某种关系,因此研究人员决定使用 DeepMind 来寻找它。 

 

人工智能程序的帮助下,他们能够识别出一种新的几何测量,他们将其称为被称为“天然斜坡”的一个结。这种测量在数学上与称为“signature”的已知代数不变量有关,它描述了结上的某些表面。 

 

研究人员在自然杂志上写道,新的猜想——这两种类型的不变量是相关的这一发现将在结的数学中开辟新的理论。 

 

在第二种情况下,DeepMind 采用了 1970 年代后期数学家提出的猜想,并帮助揭示了该猜想为何有效。 

 

40 年来,数学家们一直在猜测,可以查看一种特定类型的非常复杂的多维图形,并找出一种特定类型的方程来表示它。但他们还没有完全弄清楚如何做到这一点。现在,DeepMind 通过将图的特定特征与这些方程的预测联系起来,这些方程被称为 Kazhdan-Lusztig (KL) 多项式,以首次提出这项发现的数学家命名。 

 

“我们能够做的是训练一些机器学习模型,这些模型能够非常准确地从图中预测多项式是什么,”Davies 说。该团队还分析了 DeepMind 使用图的哪些特征来进行这些预测,这使他们更接近关于两者如何相互映射的一般规则。

 

这些纯数学猜想没有直接的实际应用,但数学家计划在新发现的基础上进一步揭示这些领域中的更多关系。研究团队还希望他们的成功能够鼓励其他数学家将人工智能作为一种新工具。 

 

“我们想要做的第一件事就是更多地进入数学界,希望能鼓励人们使用这种技术,去那里寻找新的和令人兴奋的东西,”Davies 说道。

数学和机器学习 

大部分纯数学都在注意数字中的模式或者规律,然后进行艰苦的数值工作来证明这些直觉预感是否代表了真实的关系。当处理多维的复杂方程时,这会变得非常复杂。 

 

然而,Davies 在接受采访时称,“机器学习非常擅长的事情是发现模式和规律。”

 

事实上,与上述案例类似的数学和机器学习的碰撞还有很多。

 

DeepMind 曾凭借破解围棋等突破登上头条新闻,但其长期关注点一直是科学应用,例如预测蛋白质如何折叠。

 

2019 年,澳大利亚悉尼大学数学家 Geordie Williamson 与 DeepMind 的首席执行官、神经科学家 Demis Hassabis 之间的一次随意对话引发了数学合作的想法。

 

最初,这项工作的重点是识别可以使用 DeepMind 技术进行攻击的数学问题。机器学习使计算机能够利用大型数据集进行猜测,例如将监控摄像头图像与照片数据库中的已知面孔进行匹配。但它的答案本质上是概率性的,数学证明需要确定性。

 

参考链接:

https://www.sciencealert.com/ai-is-discovering-patterns-in-pure-mathematics-that-have-never-been-seen-before

 

https://www.nature.com/articles/d41586-021-03593-1

2021-12-07 14:322690
用户头像

发布了 450 篇内容, 共 141.8 次阅读, 收获喜欢 590 次。

关注

评论

发布
暂无评论
发现更多内容

一文读懂HTML和CSS的关系

博文视点Broadview

邹平打造区块链生态环境监管体系

CECBC

区块链 生态环境

聚焦产业链供应链 拓展数字经济新空间

CECBC

数字经济 企业融资

三无小区整改,平安小区智能化管理平台搭建

t13823115967

智慧社区管理平台开发

程序员如何让自己更快的废掉?

冰河

程序员 程序人生 规划 职业生涯

把成员变量转换成局部变量会更快吗?

雨后小溪

Java

Linux Socket 编程

赖猫

c++ Linux linux编程 linux运维 linux开发

2020,云计算这一年

脑极体

【架构师训练营】大作业二:架构知识总结

MindController

总结 架构师 架构师训练营第 1 期

公安一体化警务,合成指挥作战平台搭建

t13823115967

智慧公安

灵雀云Kube-OVN 1.5.0新版本发布,支持鲲鹏云平台网络平面部署

York

灵雀云 Kubernetes k8s Kube-OVN

细节爆炸!腾讯用13个案例实战讲明白MySQL,没想到这么全

996小迁

Java MySQL 架构 面试 程序人生

Serverless 在 SaaS 领域的最佳实践

阿里巴巴云原生

云计算 阿里云 开发者 云原生 消息中间件

【得物技术】App需要什么样移动网关

得物技术

App 后端 网关 得物技术 移动端

精选算法面试-链表(反转)

李孟

算法 链表 28天写作

爱了! Alibaba技术官甩出的“阿里内部Java成长笔记”,差距对比真的是不止一点点

Java架构之路

Java 程序员 架构 面试 编程语言

SpringCloud 从入门到精通 03---自动生成数据模型

Felix

第十届中国云计算标准和应用大会落幕 灵雀云Kube-OVN斩获优秀开源项目奖

York

灵雀云 Kubernetes k8s Kube-OVN

联通链:5G时代的信任链

CECBC

中国联通

感谢 Gridea,让我有动力写作

和牛

程序员

喜提offer!支付宝Java研发岗四面,从基础到项目在到架构与业务

Java架构之路

Java 程序员 架构 面试 编程语言

趣店容器进化史

ZoaChou

容器 k8s

[架构师训练营第 1 期] 大作业(二):架构师技术知识导图

猫切切切切切

用 JSX 建立组件 Parser(解析器)

三钻

JavaScript 大前端 组件化

架构师第七周总结

Geek_xq

使用 Jenkins + Docker 构建与部署 Serverless 应用

donghui

Docker Serverless jenkins

用户体验提升计划:前端性能检测清单2021

知识乞丐

大前端 28天写作

架构师训练营第十二周笔记

李日盛

【架构师训练营】大作业一:快递架构设计

MindController

架构设计 架构师

Junit4 Rules 使用

hungxy

Java JUnit

[架构师训练营第 1 期] 大作业(一):通达系统概要设计图

猫切切切切切

DeepMind新研究登上Nature封面,这一数学难题被AI攻破了_文化 & 方法_李冬梅_InfoQ精选文章