重大突破!科学家首次使用人工智能,发现新的数学猜想和定理
2021-12-02 19:26:56爱云资讯
纯数学研究工作的关键目标之一是发现数学对象间的规律,并利用这些联系形成猜想。从20世纪60年代开始,数学家开始使用计算机帮助发现规律和提出猜想,但人工智能系统尚未普遍应用于理论数学研究领域。
近日,一篇发表在《自然》上的论文显示,DeepMind公司研发出一个机器学习框架,能帮助数学家发现新的猜想和定理。此前,该框架已经帮助发现了不同纯数学领域的两个新猜想。
论文介绍,DeepMind的Alex Davies和数学家一起建立了一个机器学习框架,用于协助数学研究。他们的算法搜索数学对象间潜在的规律和联系,尝试寻找意义。其后由数学家接手,根据算法获得的观察和直觉来提出潜在猜想。
研究人员将这一方法应用于两个纯数学领域,发现了拓扑学(对几何形状性质的研究)的一个新定理,和一个表示论(代数系统研究)的新猜想。研究人员表示,这是计算机科学家和数学家首次使用人工智能来帮助证明或提出复杂数学领域的新定理。
相关文章
- AI FOR ENGINEERS研讨会:推动人工智能技术赋能工程仿真创新
- 思科重新构想人工智能时代的数据中心与云端安全
- AI赋能出版新质生产力发展 蜜度承办人工智能与出版新质生产力论坛
- 小影科技参编《生成式人工智能数据应用合规指南》团体标准正式发布
- 云天励飞助力深圳高级中学启用人工智能联合实验室,共绘智慧教育新篇章
- 中国人工智能发明专利企业排行榜揭晓 OPPO位列第九
- 聚焦人工智能编程教育,点猫科技亮相第83届中国教育装备展
- 浪潮信息IPF24: 发展人工智能+,创新需要激发活力、拓展路径、加速落地
- “元脑”品牌全面升级!浪潮信息全力进击人工智能
- 云测数据入选2024全国“人工智能+”行动创新案例TOP100
- 智联世界·“模”生未来-2024人工智能论坛在北京隆重召开
- 人工智能领域的关键挑战:高质量的训练数据处理能力
- Viettel开设越南最大的数据中心,通过部署绿色技术,为人工智能发展做好准备
- Cognex 推出全新人工智能 3D 视觉系统
- Enine亿玖携手技嘉GIGABYTE如约亮相2024深圳(国际)人工智能计算大会
- 生成式人工智能雅思培训项目引行业关注
热门文章
头条文章
重点文章
推荐文章
热点文章