国际最新研究：人工智能帮助数学家发现新的猜想和定理
发布时间：2026-07-13 23:05:20 作者：玩站小弟 
我要评论
我要评论国际最新研究：人工智能帮助数学家发现新的猜想和定理 编辑：汤晓雪 来
。
国际最新研究：人工智能帮助数学家发现新的国际猜想和定理
编辑：汤晓雪 来源：中国新闻网 浏览次数： 次 发布时间：2021-12-02 15:41:21 【字体：小 大】国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称，科研人员研发出一个机器学习框架，最新智能帮助数学家发现新的研究猜想和定理。
该机器学习框架由知名人工智能(AI)企业DeepMind开发，人工已经帮助发现了不同纯数学领域的帮助两个新猜想，这项研究展示出机器学习如何整合进现存工作流支持数学研究。数学
据介绍，现新想和纯数学研究工作的猜定理关键目标之一是发现数学对象间的规律，并利用这些联系形成猜想：怀疑为真但尚未得到严格证明的国际叙述。从20世纪60年代开始，最新智数学家开始使用计算机帮助发现规律和提出猜想，研究但人工智能系统尚未普遍应用于理论数学研究领域。人工
论文通讯作者、帮助DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架，数学用于协助数学研究。现新想和他们的算法搜索数学对象间潜在的规律和联系，尝试寻找意义。其后由数学家接手，利用这些观察来引导他们对潜在猜想的直觉。
亚历克斯·戴维斯和同事在论文中报告说，将机器学习框架这一方法应用于两个纯数学领域，发现了拓扑学(对几何形状性质的研究)的一个新定理，以及一个表示论(代数系统研究)的新猜想。他们总结认为，机器学习框架能鼓励未来数学和人工智能领域的合作。(完)(记者 孙自法)
相关文章
多年不调价！清华学子感谢的“慢火车”全国有81对 编辑：汤晓雪 来源2026-07-13
2026年4月25日，Momenta于北京国际车展举办“Momenta R7，物理AI序章”主题分享会。在公司成立十周年之际，四位合伙人同台出席，围绕Momenta技术理念、产品能力与全球商业化落地等2026-07-13
市第十三次党代会报告提出，“巩固全国文明城市创建成果”。为贯彻落实市党代会精神，13日，泉州召开创城工作推进会，对创城工作进行再动员、再部署、再落实。会议强调，各地各部门思想上2026-07-13
“智造强市承载了泉州的光荣与梦想”“产业链条、产业生态是最突出的优势”，在今日的招商大会上，市发改委按照市十三次党代会作出的建设“海丝名城2026-07-13
滁州网讯全媒体记者包增光）8月31日晚，凤阳县洪武门南侧广场灯火璀璨、人声鼎沸，“凤阳是个好地方”文旅活动季暨首届“中影杯”全县少儿才艺大赛，在热烈气氛2026-07-13
给机器人研发、科研人员与教育工作者带来一款全开源麦克纳姆轮移动机器人平台——LGDXRobot2。项目专为 ROS2 生态深度设计，以低成本、高性能、高可复现性为核心，提供底盘机械、控制板硬件、固件、2026-07-13
最新评论