人工智能 进军 数学领域 首次协助人类发现两个新猜想
发布时间：2021-12-07 10:33:04 所属栏目：外闻 来源：互联网
导读：纯数学研究工作的关键目标之一是发现数学对象间的规律，并利用这些联系形成猜想：怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始，数学家开始使用计算机帮助发现规律和提出猜想，但人工智能系统尚未普遍应用于理论数学研究领域。 此次，深度思维团
|
纯数学研究工作的关键目标之一是发现数学对象间的规律，并利用这些联系形成猜想：怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始，数学家开始使用计算机帮助发现规律和提出猜想，但人工智能系统尚未普遍应用于理论数学研究领域。 此次，深度思维团队和数学家一起建立了一个机器学习框架，用于协助数学研究。他们的算法会搜索数学对象间潜在的规律和联系，尝试寻找意义。其后由数学家接手，利用这些观察来引导他们对潜在猜想的直觉。 人工智能专家艾利克斯·戴维斯及其同事报告说，将这一方法应用于两个纯数学领域，他们发现了拓扑学（对几何形状性质的研究）的一个新定理和一个表示论（代数系统研究）的新猜想。 这其中，澳大利亚悉尼大学数学研究所所长乔迪·威廉森教授使用该AI，接近证明了一个关于卡兹丹—卢斯提格多项式的古老猜想，这个猜想已经有40年没有解决了，其涉及高维代数中的深度对称性。 论文合著者、英国牛津大学马克·拉克比和安德拉斯·尤哈斯将这一过程向前推进了一步，他们发现了拓扑学纽结的代数和几何不变量之间的惊人联系，从而在数学中建立了一个全新的定理。 （编辑：PHP编程网 - 黄冈站长网） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |
站长推荐
热点阅读
浙公网安备 33038102330482号