首页 游戏 软件 资讯 排行榜 专题
首页
AI资讯
OpenAI破解数学界80年核心猜想菲尔兹奖得主深度解析

OpenAI破解数学界80年核心猜想菲尔兹奖得主深度解析

热心网友
26
转载
2026-05-21


数学界,刚刚经历了一场无声的“地震”。


一切始于一条简短的推文。5月21日凌晨,当代数学巨擘、菲尔兹奖得主蒂莫西·高尔斯(Timothy Gowers)在社交平台X上发布了一条消息,语气近乎惊悚。短短数小时,浏览量突破120万,在国际学术界引发了前所未有的震动。


震源,来自OpenAI的一项正式官宣:其内部研发的全新一代通用推理模型,在没有人类数学家任何干预的前提下,自主攻克并彻底推翻了离散几何学中一个沉睡了近80年的核心猜想——埃尔德什(Erdős)单位距离问题。

这是历史上第一次,人工智能独立解决了一个处于数学核心领域、让无数顶尖人类智慧折戟的重大开放性问题。



高尔斯在推文中罕见地提醒同行:“如果你是一位数学家,那么在继续阅读之前,你可能需要确保自己已经坐稳了。”

顶级数论学家阿鲁尔·尚卡尔(Arul Shankar)的评论则点明了其深远意义:“这个成果表明,当前的AI模型已经超越了人类数学家的助手角色——它们开始具备原创的、精妙的、极具智慧的独立思想,并且有能力将其付诸实现。”

一场风暴已然降临,它不仅让数学家们坐立难安,更向全人类宣告:AI,已经正式跨入了科学研究的“无人区”。



极其简单的谜题,与阻挡人类80年的高墙

要理解这项突破的碘伏性,得把时钟拨回1946年。

那一年,传奇数学家保罗·埃尔德什提出了一个听起来极其简单的几何问题:如果在二维平面上任意画下n个点,那么在这张图里,两点之间距离刚好等于1的点对,最多能有多少对?


这几乎是一个连小学生都能听懂的问题,却在此后80年里,让一代代最顶尖的数学家抓狂。

数学家们将这个最大可能数量记为u(n)。问题看似像个拼图游戏:给你n个点,怎么摆才能让单位距离点对最多?

摆成一条直线?那么只有相邻两点距离为1,最多得到n-1对。

摆成一个正方形网格呢?假设每个格子边长为1。经过计算,大约能得到2n对。


直觉告诉我们,结构越对称、越整齐,包含的单位距离就可能越多。因此,过去几十年里,数学界形成了一个根深蒂固的共识:要让单位距离数量最大化,本质上最好的摆法就是类似“方格网格”的结构。


基于此,埃尔德什在1946年提出了著名的猜想:他认为u(n)的上限是 n^(1+o(1))(其中o(1)是一个随着n增大而趋于0的项)。

换句话说,无论你怎么精妙排布,单位距离点对数量的增长速度,也只能比线性(n的一次方)快那么微不足道的一点点,绝不可能实现指数级的突破。埃尔德什本人对此问题钟爱有加,甚至专门设立了现金奖励以激励后人。



然而,这道看似简单的题,成了离散几何领域一道无法逾越的高墙。

在问题的下界(即人类能构造出的最好情况)方面,自1946年埃尔德什本人用缩放的正方形网格给出 n^(1+c/log log n) 的结果后,整整80年,人类数学家在这个基础上寸步未进。

而在上界(理论极限的证明)方面,情况同样严峻:1984年,斯宾塞、塞梅雷迪和特罗特证明了上界为O(n^{4/3})。此后,包括陶哲轩在内的无数天才进行了诸多微调,但这个上界依然像铁律一样无法被打破。


所有人都以为,正方形网格就是大自然的极限了。直到OpenAI的这个神秘模型出手。


碘伏认知:AI找到了「不存在的结构」

令人震惊的不仅是它证明了猜想,而是它直接推翻了猜想。

这个模型在平面上创造出了一类人类数学家从未想象过的、全新的点阵构型家族。这个构型直接打破了“网格神话”,实现了多项式级别的超越。


根据OpenAI披露的数据:在n个点的平面上,AI构建的构型让单位距离点对的数量达到了惊人的 n^(1+c)(其中c是一个大于0的固定正常数)。


这意味着单位距离的数量实现了指数级的跃升,彻底打破了埃尔德什当年预测的上限!随后,普林斯顿大学数学教授威尔·萨温(Will Sawin)对AI的证明进行了连夜精细化推导,进一步确认了这个常数c可以明确取到0.014。



结果显而易见:完爆旧有认知。

近80年来,无数代离散几何学家在这座数学大厦里辛勤耕耘,坚信屋顶就在上方。而现在,AI直接在墙壁上开辟了一扇暗门,告诉人类:外面还有一片从未被看见过的全新大陆。

震撼数学界:它用高维数论,降维打击了几何学

如果说AI只是通过穷举或暴力计算找到了几个特例,数学家们或许还不至于如此“破防”。真正让整个学术界倒吸一口凉气的,是这个证明所展现出的极高“品味”和创造力。


离散几何问题,传统上需要用几何或组合数学的工具来解决。但OpenAI的模型在思考这个初等几何问题时,突然打通了数学宇宙中一条隐秘通道——它从遥远的“代数数论”中借来了重武器。

当初,埃尔德什构建网格时,利用了“高斯整数”(形如a+bi的复数,其中a和b是整数)。高斯整数就像是普通整数在复平面上的延伸,具备优良性质。

而AI展现出了惊人的洞察力,它没有被高斯整数限制,而是将这个几何构想推向了一个人类未曾设想的极端。

首先,它构建了极其复杂的代数数域拓展。它引入了具备更丰富、更高维对称性的代数数域。在这些高维对称空间里,能够产生远比人类已知网格多得多的“单位长度差”。


其次,它驾驭了顶级的数论工具。为了证明它所设想的这种复杂数域在数学上确实存在,在长链条推理中,AI极其熟练地调用了“无限阶级域塔”和“高罗德-沙法列维奇理论”。


这些工具是代数数论皇冠上的明珠,即便是专门研究数论的人类专家,想要将它们天衣无缝地组合在一起,也往往需要耗费数年心血。然而,一个通用推理模型,却在解决一个几何问题时,自发地将这两者结合,完成了一次惊人的跨界“降维打击”。

普林斯顿大学的组合数学泰斗诺加·阿隆(Noga Alon)表示,亲眼看到这个内测模型给出解答时,他被这种优雅且聪明的手法深深震撼。

英国皇家学会院士、菲尔兹奖得主托马斯·布鲁姆(Thomas Bloom)在配套论文中写道:“当评估AI生成的某个证明的重要性时,我会问自己:它有没有教会我们关于这个问题的新知识?我们对离散几何的理解加深了吗?答案是一个毫无疑问的‘是的’。它向我们展示了,数论结构在解决这类几何问题上,拥有远比我们想象的要深邃得多的发言权。”

不是偏科战神,而是通才

更惊人的一点在于,OpenAI特别强调:“这个证明来自一个全新的通用推理模型,而不是一个专门为了解决数学问题或特定猜想而构建的定制系统。”

过去,AI解决数学问题往往依赖人类精心设计的搜索框架,或者在特定领域(如自动定理证明语言Lean)内进行局限的试错。但这一次,AI是在一个前所未有的广阔知识空间里,展现出了真正的长链条、高内聚推理能力。

数学是全人类逻辑思维最严苛的试金石:定义不允许有半点含糊,每一个中间步骤都可以被严格验证。长达数十页的论证,只要有一处逻辑断裂,整个证明就会瞬间崩塌。

而AI成功了。它像一个冷静的、经验极其丰富的棋手,在人类甚至无法觉察的知识图谱中,完美地把控住了数万步的逻辑链条,没有出现一次致命的“幻觉”。


这种在宏观上跨越数论与几何、在微观上丝丝入扣的推理能力,正是通往通用人工智能(AGI)最核心的圣杯。

科学研究的范式转换:人类数学家下岗了吗?

那么,人类学者会就此沦为旁观者吗?恰恰相反。这次突破,恰恰凸显了人类的重要性。

在AI生成原始证明后,人类顶尖数学家团队迅速介入。他们不仅验证了证明的正确性,还在短时间内撰写了严谨的论文,普林斯顿的威尔·萨温教授更是敏锐地提炼出了delta = 0.014这个精确值。

AI像是一个探险家,踩出一条前所未有的路,带回未经雕琢的宝石。而人类科学家则凭借深厚的直觉与审美,将宝石擦拭、镶嵌,使其光芒得以完全展现。

正如托马斯·布鲁姆所赞叹的:“知识的疆界从来不是平坦的,而是充满了尖锐的峭壁。AI正在帮助我们更全面地探索我们几个世纪以来建立的数学大教堂;在这些宏伟的穹顶之下,还有多少未被看见的奇迹,正在侧翼等待着被唤醒?”



这股风暴,注定将席卷数学之外的整个世界。OpenAI在官方博客中指出一个宏大图景:如果一个模型能够保持极其复杂的论证前后一致,能够将相距万&里的知识领域融会贯通,并且其产出的成果能够通过最挑剔的人类专家的审视——那么,这样的能力将同样适用于生物学、物理学、材料科学、工程学和现代医学。

AI已触及科学研究中最具核心创造力的部分。人类的洞察力与审美,从未像今天这样被一个强大的工具所放大。而这个世界的剧变,才刚刚开始。

来源:https://www.163.com/dy/article/KTF298SO0511ABV6.html
免责声明: 游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。

相关攻略

OpenAI破解80年科学难题新模型获顶刊认可
AI资讯
OpenAI破解80年科学难题新模型获顶刊认可

OpenAI一款未发布的通用推理模型独立推翻了悬置近80年的埃尔德什“平面单位距离猜想”。模型未经专门训练,运用代数数论构造反例完成证明。此前OpenAI曾因虚假突破受批评,但此次成果获包括原批评者在内的多位顶级数学家背书,被视为AI自主产出重要数学发现的标志性进展。

热心网友
05.22
OpenAI文本嵌入模型text-embedding-3-large实战应用指南
AI资讯
OpenAI文本嵌入模型text-embedding-3-large实战应用指南

OpenAI的text-embedding-3-large模型可生成3072维文本向量,适用于高精度语义搜索和RAG系统。通过API调用时需正确设置请求头与请求体,批量处理时应将文本数组传入input参数以提高效率。使用LangChain集成可方便初始化并支持降维适配。实际应用中需注意文本长度限制、向量与原文的绑定存储以及数据库的维度适配。

热心网友
05.22
OpenAI一季度营收57亿美元创下新高
科技数码
OpenAI一季度营收57亿美元创下新高

最近,AI领域的收入数据成了热门话题。根据媒体报道,受Codex、商业销售与广告等多重业务驱动,OpenAI在今年第一季度创造了57亿美元的收入,这个数字比其主要竞争对手Anthropic高出约10亿美元。尤其值得注意的是,仅在今年2月,OpenAI就产生了高达250亿美元的年化收入,势头相当迅猛。

热心网友
05.22
OpenAI破解80年数学难题AI首次证明核心猜想
AI资讯
OpenAI破解80年数学难题AI首次证明核心猜想

OpenAI通用人工智能模型独立攻克了困扰数学界近80年的“埃尔德什单位距离问题”。它突破传统思路,运用代数数论构造出超越人类最佳方案的点集,首次自主解决核心数学猜想。专家评价此为AI数学里程碑,显示AI已具备原创思路与深度推理能力。成果不仅破解具体难题,更揭示跨学科关联,展现了AI作为。

热心网友
05.21
OpenAI破解80年科学难题 人工智能模型实现历史性突破
AI资讯
OpenAI破解80年科学难题 人工智能模型实现历史性突破

OpenAI一款未发布的通用推理模型独立推翻了数学家埃尔德什1946年提出的“平面单位距离猜想”。该模型未针对该猜想专门训练,却利用代数数论工具构造出反例,获得多项式量级改进。此前OpenAI曾因虚假突破受质疑,此次则发布论文及多位顶级数学家的同行评论,包括曾尖锐批评的学者也转为背书。这被。

热心网友
05.21

最新APP

宝宝过生日
宝宝过生日
应用辅助 04-07
台球世界
台球世界
体育竞技 04-07
解绳子
解绳子
休闲益智 04-07
骑兵冲突
骑兵冲突
棋牌策略 04-07
三国真龙传
三国真龙传
角色扮演 04-07

热门推荐

加密货币市场暴跌:比特币单日跌幅超13% 以太坊一度重挫20%
web3.0
加密货币市场暴跌:比特币单日跌幅超13% 以太坊一度重挫20%

加密货币市场突遭重挫:深度解析与应对策略 近期加密货币市场重挫,比特币(BTC)一度跌超13%,以太坊(ETH)跌幅更是一度超过20%,投资者情绪高度紧张,市场波动剧烈。 主要币种跌幅概览 这轮下跌来得又快又猛,各主要币种的“受灾”情况可谓一目了然。具体来看: 比特币(BTC):作为市场风向标,短时

热心网友
05.23
加密货币爆仓创纪录 10月11日成币圈不眠之夜
web3.0
加密货币爆仓创纪录 10月11日成币圈不眠之夜

10月11日,加密货币市场经历剧烈波动,单日爆仓金额与人数双双突破历史纪录。市场行情极端变化导致大量杠杆交易者被强制平仓,凸显了加密货币投资的高风险特性。这一事件再次引发对市场波动性与风险管理的广泛关注。

热心网友
05.23
加密货币市场24小时爆仓162万人 深度解析崩盘原因与应对策略
web3.0
加密货币市场24小时爆仓162万人 深度解析崩盘原因与应对策略

过去24小时内,加密货币市场剧烈波动,导致全网大量交易者仓位被强制平仓。数据显示,爆仓人数高达162万,涉及金额巨大。市场普遍认为,此次暴跌与多重因素相关,包括宏观经济预期变化、监管政策不确定性以及部分大型投资者抛售行为。这一事件再次凸显了加密货币市场的高风险特性。

热心网友
05.23
比特币以太坊等主流币种何时触底 160亿美元清算后市场走向分析
web3.0
比特币以太坊等主流币种何时触底 160亿美元清算后市场走向分析

加密货币市场经历约160亿美元清算冲击后进入缓慢筑底阶段。高杠杆集中、价格波动加剧及恐慌情绪扩散引发连锁清算。比特币与以太坊反弹空间有限;瑞波币抗跌但波动加大;Solana受冲击明显。投资者应控制杠杆、分批建仓并关注市场动态。

热心网友
05.23
加密货币全网爆仓再创新高 24小时达191亿美元 市场风险加剧
web3.0
加密货币全网爆仓再创新高 24小时达191亿美元 市场风险加剧

加密货币市场剧烈波动,过去24小时内全网爆仓金额升至191亿美元,创下历史新高。市场多空博弈激烈,杠杆交易者大量被强制平仓,凸显了高杠杆交易在极端行情中面临的巨大风险。

热心网友
05.23