盐源苹果,欢迎助农支农,收获阳光自然果的您!

巴蜀网

 找回密码
 免费注册

QQ登录

只需一步,快速开始

开启左侧
查看: 83|回复: 0
 格尼薇儿 发表于: 2021-12-3 10:24:00|显示全部楼层|阅读模式

[2021年] 国际最新研究:人工智能帮助数学家发现新的猜想和定理

 [复制链接]
源自:中国新闻网
  中新网北京12月2日电(记者:孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称,科研人员研发出一个机器学习框架,能帮助数学家发现新的猜想和定理。
  该机器学习框架由知名人工智能(AI)企业DeepMind开发,已经帮助发现了不同纯数学领域的两个新猜想,这项研究展示出机器学习如何整合进现存工作流支持数学研究。
  据介绍,纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的叙述。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。
  论文通讯作者、DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。
  亚历克斯·戴维斯和同事在论文中报告说,将机器学习框架这一方法应用于两个纯数学领域,发现了拓扑学(对几何形状性质的研究)的一个新定理,以及一个表示论(代数系统研究)的新猜想。他们总结认为,机器学习框架能鼓励未来数学和人工智能领域的合作。 ●
『 巴蜀网 』提醒,在使用本论坛之前您必须仔细阅读并同意下列条款:
  1. 遵守《全国人大常委会关于维护互联网安全的决定》及中华人民共和国其他各项有关法律法规,并遵守您在会员注册时已同意的《『 巴蜀网 』管理办法》;
  2. 严禁发表危害国家安全、破坏民族团结、破坏国家宗教政策、破坏社会稳定、侮辱、诽谤、教唆、淫秽等内容;
  3. 本帖子由 格尼薇儿 发表,享有版权和著作权(转帖除外),如需转载或引用本帖子中的图片和文字等内容时,必须事前征得 格尼薇儿 的书面同意;
  4. 本帖子由 格尼薇儿 发表,仅代表用户本人所为和观点,与『 巴蜀网 』的立场无关,格尼薇儿 承担一切因您的行为而直接或间接导致的民事或刑事法律责任。
  5. 本帖子由 格尼薇儿 发表,帖子内容(可能)转载自其它媒体,但并不代表『 巴蜀网 』赞同其观点和对其真实性负责。
  6. 本帖子由 格尼薇儿 发表,如违规、或侵犯到任何版权问题,请立即举报,本论坛将及时删除并致歉。
  7. 『 巴蜀网 』管理员和版主有权不事先通知发帖者而删除其所发的帖子。
您需要登录后才可以回帖 登录 | 免费注册

本版积分规则

© 2002-2022, 蜀ICP备12031014号, Powered by 5Panda
GMT+8, 2022-1-29 00:55, Processed in 0.078000 second(s), 9 queries, Gzip On, MemCache On
快速回复 返回顶部 返回列表