00:00 / 02:46
连播
清屏
智能
倍速
点赞1
00:00 / 00:40
连播
清屏
智能
倍速
点赞11
00:00 / 00:36
连播
清屏
智能
倍速
点赞4
00:00 / 07:56
连播
清屏
智能
倍速
点赞16
00:00 / 03:32
连播
清屏
智能
倍速
点赞58
00:00 / 04:15
连播
清屏
智能
倍速
点赞7
00:00 / 05:04
连播
清屏
智能
倍速
点赞262
Qiuming3月前
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
连播
清屏
智能
倍速
点赞6
00:00 / 03:32
连播
清屏
智能
倍速
点赞51
尼采说:只有天才跟疯子才配得上孤独,但是能孤独到佩雷尔曼这样的,满世界找不出第二个。据他们创造了数学记载,2006年的时候,西班牙召开了国际数学大会,国际数学联盟决定,将有数学界诺贝尔奖之称的菲尔兹奖授予俄罗斯数学家佩雷尔曼,联盟的主席约翰鲍尔环视了整个会场。死活找不到佩雷尔曼的影子,此时约翰鲍尔的心里闪过一丝失落,原来真的有人看不起我们这个世界顶级的数学联盟啊,于是,为了找回场子,约翰鲍尔拖着年迈的身躯不远万里飞到了俄罗斯。多方打听下。才在圣彼得堡礁区的一处破烂不堪的小房子里找到了佩雷尔曼,面对面前这个不修边幅衣衫褴褛的俄国大叔,约翰鲍尔就一顿牢骚,你说你都穷成这个熊样了,你就不能乖乖的来领个奖吗?毕竟还有几万块钱的奖金呢,谁也没想到,约翰鲍尔费了接近10个小时的口舌还是没能说服头铁的佩雷尔曼,佩雷尔曼在约翰鲍尔失望以及无奈的复杂表情中,轻轻的关上了自己的破门。要知道。这个世界只有两个秘密,一个是爱因斯坦的时钟,另一个就是庞加来的地图。就这么说吧,谁解决了这两个问题,谁就会让人类文明立刻飞升不知道多少个维度。而这个孤独到熊样的佩雷尔曼,就是解决庞加莱地图的那个天纵之才。#人物故事 #你一定要知道的人物 #佩雷尔曼
00:00 / 05:51
连播
清屏
智能
倍速
点赞173
00:00 / 01:06
连播
清屏
智能
倍速
点赞5
00:00 / 09:37
连播
清屏
智能
倍速
点赞3
00:00 / 04:22
连播
清屏
智能
倍速
点赞86