2026年5月20日,OpenAI官方频道发布了一段不到10分钟的视频,宣布了一个震撼数学界的消息:一个通用推理模型——不是专门为数学设计的系统——自主推翻了Paul Erdős在1946年提出的单位距离猜想(planar unit distance conjecture)。这不是AI辅助人类证明,而是AI独立发现了一条全新的数学构造路径,推翻了近80年来数学界的普遍信念。这件事的分量不在于"又一道数学题被解了",而在于它标志着AI从"工具"到"发现者"的角色质变。就像望远镜让人类看见了肉眼看不到的星空,AI正在让人类触达思维难以抵达的数学深处。
| 项目 | 内容 |
|---|---|
| 视频标题 | The Erdős Breakthrough |
| 频道 | OpenAI |
| 时长 | 9分38秒 |
| 播放量 | 9.2万+ |
| 发布日期 | 2026年5月20日 |
| 核心主题 | AI自主推翻Erdős单位距离猜想——AI首次独立解决数学核心领域的著名公开问题 |
Paul Erdős,20世纪最多产的数学家之一,在1946年提出了一个看似简单但极其深刻的问题:在平面上放置n个点,最多可以有多少对点之间的距离恰好等于1?
用数学语言表述:设U(n)表示平面上n个点之间单位距离的最大数量。Erdős最初给出的下界构造基于正方形网格——他证明了U(n)至少是n^{1+c/log log n}量级的。此后将近80年,数学界普遍认为正方形网格类型的构造已经是"最优解"——不可能找到显著更好的排列方式。
这不是一个冷门问题。它是离散几何和组合数学的基石问题之一,与Szemerédi-Trotter定理、交叉数不等式等核心结果紧密相连。上界方面,Spencer、Szemerédi和Trotter证明了U(n) = O(n^{4/3}),但上下界之间的差距始终未被弥合。
关键点在于:所有人类数学家在这个问题上的努力,都默认了一个隐含假设——最优构造应该长得像某种"规则网格"。OpenAI的模型推翻了这个假设。
根据视频描述和数学家Alvaro Lozano-Robledo的解读,OpenAI的通用推理模型发现了一族全新的点构造方案,其单位距离数量超过了正方形网格所能达到的水平。
这意味着什么?打个比方:假设80年来所有人都在爬山,沿着一条"看起来最合理"的路径往上走,以为这就是通往山顶的路。结果AI从侧面的一条小径绕了上去,发现了一个所有人都没有考虑过的方向——而且那条路确实更高。
具体来说: - Erdős原始构造:基于整数网格(lattice),通过精心选择点的位置来最大化单位距离 - AI的新构造:一种完全不同族的几何排列,打破了"规则性"的隐含约束 - 核心突破:不是在已有框架内优化,而是发现了一个全新的数学空间
值得注意的是,这个发现并非来自专门为数学打造的系统(如DeepMind的AlphaProof),而是来自一个通用推理模型。OpenAI在视频描述中明确指出:"这个证明来自一个通用推理模型,而不是专门为了解决数学问题或这个问题而构建的系统。"
我们来区分几个层次:
OpenAI这次的突破属于第三类。模型没有被喂入"请尝试用非网格构造来攻击Erdős猜想"这样的指令。它在一个通用的推理过程中,自主地连接了来自不同数学领域的想法,找到了人类80年来没有探索过的路径。
这就是OpenAI在视频中所说的:"AI系统正在变得能够保持长而困难的推理链,连接来自遥远领域的想法,并浮现出研究人员可能未曾探索过的路径。"
Kyle Kabasares的视频标题直截了当:"AI Solved an 80-Year Math Problem, Fields Medalist Stunned"。数学家Daniel Litt(Breaking Math视频中受邀讨论的专家)也对此表达了深切的关注。
数学界的反应可以用三个层次来概括:
第一层:惊叹与认可。 数学家们承认这是一个真正的新发现,不是模型的幻觉或巧合。构造的有效性已经被验证。
第二层:深层不安。 如果AI能在一个80年无人能解的核心问题上找到全新路径,那数学研究中人类的"直觉壁垒"是否正在被瓦解?数学一直被视为人类纯粹思维的领地——现在这块领地上出现了一个非人类的竞争者。
第三层:哲学困惑。 当AI给出一个证明时,我们如何"理解"这个证明?Alvaro Lozano-Robledo在他的视频中提出了一个尖锐的问题:AI生成的证明可能正确,但如果人类数学家无法真正理解其背后的直觉,这算不算"数学知识"?
这个细节很容易被忽略,但它是整个事件中最重要的一点。
过去AI在数学上的突破——无论是DeepMind的AlphaGeometry还是Google的FunSearch——都依赖于专门设计的系统架构。这些系统被"教"了特定类型的数学推理,在特定的搜索空间中工作。
而OpenAI这次的突破来自一个通用推理模型——就是那种你拿来做日常问答、写代码、分析报告的同一种模型。它没有被特别针对离散几何进行优化。这意味着:
OpenAI在视频描述中特别强调了"holding together long, difficult chains of reasoning"这个能力。这正是当前AI研究的前沿焦点。
传统的语言模型擅长局部推理——一个逻辑步骤跟着另一个。但数学证明需要全局一致性——第100步的推理必须和第1步的前提完全兼容,中间不能有任何断裂。
OpenAI的模型在这方面取得的进展意味着: - 它可以维护数百步推理的内部一致性 - 它能在推理过程中识别"死胡同"并回溯 - 它能将来自不同数学领域的知识片段整合到一个连贯的论证中
这种能力的突破,其影响远远超出数学领域。科学发现、工程设计、法律推理——任何需要长期一致性的复杂认知任务都将受益。
值得赞赏的是,OpenAI在视频中保持了一个相当谨慎和务实的立场:
"那个未来仍然依赖于人类的判断。专业知识变得更加有价值,而不是更少。AI可以帮助搜索、建议和验证。人类选择重要的问题,解释结果,并决定接下来要追求什么问题。"
这不是空洞的PR话术。从Erdős猜想的案例来看,人类数学家的角色确实不可替代: - 是人类选择了这个问题——AI不会自己去"想"研究什么 - 是人类验证了结果的正确性——AI的构造需要数学家的审查 - 是人类理解了这个发现的更广泛意义——它如何影响离散几何的整体图景
这次突破的真正价值不在于一道数学题被解了,而在于它验证了一个假设:通用AI模型正在获得深度的科学发现能力。
如果我们把视野拉远: - 生物学:蛋白质折叠已经由AlphaFold解决,但更复杂的生物系统推理呢? - 物理学:理论物理中的对称性破缺、暗物质候选粒子的构造——这些问题与Erdős猜想有着相似的结构 - 材料科学:新材料的原子排列优化本质上也是组合几何问题 - 药物设计:分子构型的空间搜索与离散几何有着深刻的联系
OpenAI的突破告诉我们:AI不仅仅是在"搜索"答案空间,它正在获得"理解"问题结构的能力。这种能力一旦成熟,将彻底改变科学研究的范式。
mindmap
root((Erdős突破))
数学背景
Paul Erdős 1946
单位距离问题
正方形网格假设
80年未解
AI突破
通用推理模型
非专用系统
全新构造族
推翻隐含假设
核心能力
长推理链
跨领域连接
自主探索
回溯与修正
数学界反应
惊叹与认可
深层不安
哲学困惑
未来影响
生物学
物理学
材料科学
药物设计
人机关系
人类选题
AI搜索
人类验证
协同进化
这次突破验证了一个重要趋势:通用推理能力的投资回报率远高于专用系统。如果你在做AI应用,不要过度依赖特定领域的pipeline——模型层面的推理能力正在快速增长。确保你的应用架构能够灵活地接入更强大的基础模型。
AI正在从"高级搜索引擎"变成"研究伙伴"。建议开始建立与AI模型的协作流程:让模型帮你探索你没有想到的方向,但始终把验证和理解留给自己。Erdős猜想的案例表明,最有价值的不是AI给出的答案,而是它揭示的你没想到要去搜索的方向。
2026年5月的这个事件很可能被视为一个分水岭。之前,AI在数学和科学上的突破主要被视为"技术演示"——在人为设定的测试中表现出色。而这次,一个通用模型在人类完全没有预设方向的开放性问题中做出了真正的新发现。这意味着AI的"创造力"不再只是模拟——它正在产生人类知识库中不存在的新知识。
OpenAI用通用推理模型推翻了Erdős 80年的单位距离猜想,证明的不是一个数学定理,而是AI已经获得了独立进行科学发现的能力——这不是工具的升级,而是研究者的诞生。
本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵爱卫生(微信ID: gprshome201101)维护,聚焦5G/6G核心网、3GPP标准解读、通信前沿技术深度分析。 出版作品有《5G核心网原理与实践》《IMS原理与实践》等4本通信专业书籍。知识星球「51学通信」提供深度技术答疑和行业洞察。
[!tip] 51学通信知识星球 星主:爱卫生(微信:gprshome201101)——公众号「51学通信」创办者,19 年通信行业运维与讲师经验,著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书(各大电商平台有售)。 星球定位:深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域,主打运维岗位与信令分析。 当前规模:5200 篇主题 / 990 个回答,198 元/年。 加入福利:加入星球后请加爱卫生微信,拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题,另有群内分享。 AI 加持:51学通信知识星球已作为 skill 接入 WorkBuddy,使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例,做总结、找文档和 PPT 等场景全覆盖。
