人工智能 数学(人工智能 数学猜想)

 

中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称，科研人员研发出一个机器学习框架，能帮助数学家发现新的猜想和定理。

该机器学习框架由知名人工智能(AI)企业DeepMind开发，已经帮助发现了不同纯数学领域的两个新猜想，这项研究展示出机器学习如何整合进现存工作流支持数学研究。

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

互联网小常识：应用代理与应用级网关不同之处在于：应用代理完全接管了用户与服务器的访问，隔离了用户与被访问的服务器之间的数据包的交换通道。而应用级网关采用的是存储转发的方式。

互联网小常识：CIDR地址规划方法。根据需要划分的网络个数确定还要增加几位网络前缀，然后列出地址段。

论文通讯作者、DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架，用于协助数学研究。他们的算法搜索数学对象间潜在的规律和联系，尝试寻找意义。其后由数学家接手，利用这些观察来引导他们对潜在猜想的直觉。

亚历克斯·戴维斯和同事在论文中报告说，将机器学习框架这一方法应用于两个纯数学领域，发现了拓扑学(对几何形状性质的研究)的一个新定理，以及一个表示论(代数系统研究)的新猜想。他们总结认为，机器学习框架能鼓励未来数学和人工智能领域的合作。(完)

互联网小常识：水平子系统导线选型10Mbps 4-5类双绞线，10-100Mbps 5-6类双绞线，100Mbps 6类双绞线。水平子系统布线一般采用走廊金属布线。

免责声明：本站所有信息均搜集自互联网，并不代表本站观点，本站不对其真实合法性负责。如有信息侵犯了您的权益，请告知，本站将立刻处理。联系QQ：1640731186