国际最新研究:人工智能帮助数学家发现新的猜想和定理
发布时间:2026-07-14 03:37:03 作者:玩站小弟
我要评论
国际最新研究:人工智能帮助数学家发现新的猜想和定理 编辑:汤晓雪 来
。
国际最新研究:人工智能帮助数学家发现新的国际猜想和定理
编辑:汤晓雪 来源:中国新闻网 浏览次数: 次 发布时间:2021-12-02 15:41:21 【字体:小 大】国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称,科研人员研发出一个机器学习框架,最新智能帮助数学家发现新的研究猜想和定理。
该机器学习框架由知名人工智能(AI)企业DeepMind开发,人工已经帮助发现了不同纯数学领域的帮助两个新猜想,这项研究展示出机器学习如何整合进现存工作流支持数学研究。数学
据介绍,现新想和纯数学研究工作的猜定理关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想:怀疑为真但尚未得到严格证明的国际叙述。从20世纪60年代开始,最新智数学家开始使用计算机帮助发现规律和提出猜想,研究但人工智能系统尚未普遍应用于理论数学研究领域。人工
论文通讯作者、帮助DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架,数学用于协助数学研究。现新想和他们的算法搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,利用这些观察来引导他们对潜在猜想的直觉。
亚历克斯·戴维斯和同事在论文中报告说,将机器学习框架这一方法应用于两个纯数学领域,发现了拓扑学(对几何形状性质的研究)的一个新定理,以及一个表示论(代数系统研究)的新猜想。他们总结认为,机器学习框架能鼓励未来数学和人工智能领域的合作。(完)(记者 孙自法)
相关文章
低温、暴雪、冰冻 中央气象台继续发布三预警 编辑:汤晓雪 来源:中国2026-07-14
西安高新区2025年首批“硬科技创新人才”名单公示 智多晶两位核心人才荣耀上榜——彰显国产FPGA芯片研发硬实力,助力科技自立自强近日,西安高新区正式公示2025年第一批"硬科技创新人才"入选名单。西2026-07-14
泉州市生态环境局近日通报4月泉州市城市空气质量。4月份,泉州市中心市区鲤城区、丰泽区、洛江区)环境空气质量达标天数比例为100%,同比上升6.7个百分点,环比持平。监测数据显示,4月份,泉州市各地环境2026-07-14
时评:罂粟壳10余年禁不止 莫让非法增香变“真香” 编辑:汤晓雪 来2026-07-14
滁州网讯全媒体记者喻 松 通讯员王子洋)面对第9号台风“巴威”的步步紧逼,市城铁公司闻“风”而动,迅速进入临战状态,坚持人民至上、生命至上,树牢底线思维2026-07-14
“发现学生家长的钱比较好骗,就起了歹心” 编辑:汤晓雪 来源:检察日2026-07-14

最新评论