国际最新研究：人工智能帮助数学家发现新的猜想和定理
发布时间：2026-07-14 00:33:48 作者：玩站小弟 
我要评论
我要评论国际最新研究：人工智能帮助数学家发现新的猜想和定理 编辑：汤晓雪 来
。
国际最新研究：人工智能帮助数学家发现新的国际猜想和定理
编辑：汤晓雪 来源：中国新闻网 浏览次数： 次 发布时间：2021-12-02 15:41:21 【字体：小 大】国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称，科研人员研发出一个机器学习框架，最新智能帮助数学家发现新的研究猜想和定理。
该机器学习框架由知名人工智能(AI)企业DeepMind开发，人工已经帮助发现了不同纯数学领域的帮助两个新猜想，这项研究展示出机器学习如何整合进现存工作流支持数学研究。数学
据介绍，现新想和纯数学研究工作的猜定理关键目标之一是发现数学对象间的规律，并利用这些联系形成猜想：怀疑为真但尚未得到严格证明的国际叙述。从20世纪60年代开始，最新智数学家开始使用计算机帮助发现规律和提出猜想，研究但人工智能系统尚未普遍应用于理论数学研究领域。人工
论文通讯作者、帮助DeepMind亚历克斯·戴维斯(Alex Davies)和数学家一起建立了一个机器学习框架，数学用于协助数学研究。现新想和他们的算法搜索数学对象间潜在的规律和联系，尝试寻找意义。其后由数学家接手，利用这些观察来引导他们对潜在猜想的直觉。
亚历克斯·戴维斯和同事在论文中报告说，将机器学习框架这一方法应用于两个纯数学领域，发现了拓扑学(对几何形状性质的研究)的一个新定理，以及一个表示论(代数系统研究)的新猜想。他们总结认为，机器学习框架能鼓励未来数学和人工智能领域的合作。(完)(记者 孙自法)
相关文章
昨日，我国高铁首座无砟轨道跨海斜拉桥——新建福厦铁路即福厦高铁）安海湾特大桥完成无砟轨道施工，这也是高铁跨海斜拉桥无砟轨道施工取得的重大突破。福厦高铁安海湾特大桥无砟轨道完成铺2026-07-14
万里长城规模最大、规格最高的敌楼正式开放 编辑：高方勇 来源：新华网2026-07-14
【机器视觉】睿擎平台支持NCNN AI 推理框架，轻松实现实时目标检测（ 睿擎线下 Workshop 报名已开启）
在工业4.0与边缘计算加速发展的背景下，嵌入式设备的实时目标检测能力已成为智能制造等领域的核心技术需求。然而，移动端设备受限于算力与能耗，传统深度学习框架难以兼顾效率与精度。为此，睿擎平台在RT-Th2026-07-14
停在小区公共停车位上，刚买两天的奔驰轿车变成“花脸猫”，四个车门及后车厢盖均有划痕。“凶手”洪某竟是同小区邻居，他持钥匙刮花豪车，只因自己常用的公共停车2026-07-14
2日，市政协召开会议，听取市中级人民法院工作情况通报。市政协主席肖汉辉，副主席王祖耀、蔡萌芽、黄世界、肖惠中，秘书长黄碧煌参加会议。市中级人民法院院长姚丽青通报今年以来全市法院工作情况。各民主党派、工2026-07-14
3月1日下午，安溪县公安局湖上派出所来了一位特殊的客人。只见他身上背着4把火药枪，最长一把1.8米有余，比民警个头还高出一截，腰间还别着一把手枪。这阵势让值班民警也感到吃惊。来客是安溪湖上乡珍地村的村2026-07-14
最新评论