00:00 / 02:24
连播
清屏
智能
倍速
点赞20
00:00 / 02:25
连播
清屏
智能
倍速
点赞6
00:00 / 01:34
连播
清屏
智能
倍速
点赞18
Qiuming5天前
30年数学难题终告破!AI数学家“亚里士多德”6小时独立解题 数学界取得了一项重大突破。近日,名为“亚里士多德”的AI系统,独立解决了悬置约30年的埃尔德什问题#124的一个版本。AI在6小时内自主完成证明,并用1分钟通过验证。团队创始人称此为数学的“登月时刻”。 难题与突破 埃尔德什问题列表是数学界的著名挑战。第124号问题探讨在严格限制下,能否用特定方式表示任意整数。传统方法长期未能解决。 “亚里士多德”是专为数学推理设计的AI,它结合了先进算法,通过搜索海量可能的证明路径,最终找到了一个完整且可验证的解决方案。 专家观点:AI改变研究模式 著名数学家陶哲轩对此高度重视。他指出,通用AI工具未能为此问题找到新思路,而专门化的“亚里士多德”展现了独特能力。 陶哲轩比喻说,数学界存在大量像“低垂果实”一样相对简单但被忽略的问题。AI擅长系统性地解决这类问题,从而让人类数学家能更专注于最具创造性的核心难题。他举例说明,自动化工具可以快速处理大量常规工作,而人类只需解决最后的疑难部分。 核心意义 此次突破的意义不仅在于解决一个具体问题,更在于展示了AI与数学研究结合的新方向: 专门化AI效率高:为数学定制的AI系统,表现远超通用模型。 填补研究空白:AI能高效解决那些因各种原因被长期搁置的“简单”问题。 开启人机协作新时代:AI负责大规模、重复性的探索与验证工作,人类则专注于提出猜想、构建理论及攻克本质性难题。 数学中未被探索的领域正被AI逐渐照亮。正如陶哲轩所言,自动化工具能清除最容易的问题,从而剥离出真正艰深的核心,让人类智慧更高效地用于最具价值的挑战。随着此类AI的发展,数学研究的进程与范围可能迎来根本性变革。 https://www.erdosproblems.com/forum/thread/124#post-1892 https://x.com/SebastienBubeck/status/1994946303546331508?s=20
00:00 / 04:15
连播
清屏
智能
倍速
点赞1
00:00 / 00:12
连播
清屏
智能
倍速
点赞24
00:00 / 01:11
连播
清屏
智能
倍速
点赞494
00:00 / 00:34
连播
清屏
智能
倍速
点赞1489
00:00 / 00:29
连播
清屏
智能
倍速
点赞432