OpenAI AI打破Erdos猜想，数学研究新突破
AI不仅在棋类和编程上称霸，如今更是涉足数学证明领域。这一次，它成功破解了一个困扰多年的数学谜题。OpenAI最近透露，他们最新的推理模型成功打破了一个著名的数学猜想——Erdos单位距离猜想。该猜想内容为：在平面上放置n个点，点与点之间特定距离的连线数量存在上限。而OpenAI的模型通过特定构造，成功突破了这一限制。01 此举为何意义重大Erdos单位距离猜想属于离散几何的核心难题，由著名数学家Paul Erdos于1946年提出。几十年来，无数数学家试图证明或推翻它，但始终未能彻底解决。示意图（配图与
AI颠覆百年数学猜想
你可曾设想，AI不再局限于撰写周报、绘制图表或编写代码，而是真正去攻克一个困扰人类顶尖数学家长达八十载的数学谜题？这一天，已然降临。5月21日，OpenAI发布了一项令整个数学界为之震颤的消息：其内部推理模型成功证伪了著名的Erdős单位距离猜想——这一自1946年起便悬而未决的离散几何难题。坦白讲，初闻此讯，我和大众的反应如出一辙：这当真属实？然而，菲尔兹奖得主Tim Gowers亲自为之背书，称其为“AI数学领域的里程碑”。另一位知名数学家Thomas Bloom，此前曾对OpenAI的数学声明持怀疑
AI模型颠覆数学猜想
人工智能首次推翻离散几何核心猜想，数学界迎来"iPhone时刻"5月21日，OpenAI发布重要研究，宣布其最新AI系统成功推翻了离散几何领域的一个核心猜想——"埃尔德什-法尔廷斯覆盖猜想"的某个推广版本。这个猜想自1960年提出以来，已经困扰了数学界60多年。全球顶尖数学家曾尝试各种方法证明或证伪，均未成功。如今，一个AI系统在48小时内完成了这项工作。数学界震动了。著名数学家陶哲轩在社交媒体上发文："这是数学史上的iPhone时刻——AI不仅能辅助证明，还能发现
人工智能突破Erdős单位距离猜想
2026年5月20日，OpenAI发布了一则重磅消息：其内部研发的通用推理模型，成功证伪了匈牙利数学家Paul Erdős在1946年提出的一个关键猜想。该猜想被视为离散几何领域最具知名度、表述最为简洁却悬而未决八十年之久的难题之一。外部数学家团队已对证明过程进行了审核，并发表了配套论文，详细阐述证明的逻辑框架与学术背景。普林斯顿大学数学家Will Sawin教授进一步优化了这一结论。剑桥大学菲尔兹奖获得者Timothy Gowers发表评论指出，这一成果"在未来数月乃至数年内，将在各数学分支中涌现类似突
AI模型突破组合几何经典难题：80年悬案终被解开
OpenAI Research · 2026 年 5 月 20 日 · 研究里程碑近 80 年来，数学家们始终在探索一个看似简洁的问题：当平面上分布着 n 个点时，最多能形成多少对恰好相距 1 个单位长度的点？这就是著名的平面单位距离问题（planar unit distance problem），由匈牙利数学家保罗·埃尔多什（Paul Erdős）于 1946 年首次提出。该问题是组合几何（combinatorial geometry）领域最具影响力的难题之一——表面上看似直白，实则极度复杂难解。200
人工智能突破80年数学难题 单位距离问题终被攻克
OpenAI 研发的通用推理模型成功破解了困扰学界八十载的"单位距离问题"，彻底否定了离散几何领域的这一核心猜想。这被视为人工智能驱动数学研究进入崭新阶段的重要标志。试想你在无限广阔的平面上分布若干点。任意两个点之间都存在一定距离，其中部分点对之间的距离恰好为 1（即"单位距离"）。核心问题在于：究竟能够形成多少对距离恰好为 1 的点？这个问题看似直白，实则蕴含极深的数学内涵。Brass、Moser 和 Pach 在 2005 年推出的《离散几何研究问题》一书中，将其称为"组合几何中最负盛名（也最易阐释）
AI数学证明的新纪元 - 从OpenAI离散几何成就看科研智能体的潜力与局限
当 AI 开始证明数学从 OpenAI 离散几何突破，看科研智能体的价值与边界关键进展OpenAI内部通用推理模型证伪了平面单位距离问题中长期被视为定论的 n^{1+o(1)} 猜想，成功构建了具有明确指数级增益的反例。更广阔的视野结合AlphaGeometry、AlphaProof、Lean/Mathlib等成果，探讨AI如何从单纯的计算辅助升级为研究协作伙伴。核心洞察AI的价值不仅在于更快速的运算，更重要的是拓展研究边界、揭示跨学科关联、提供反例并协助验证。保持警惕AI成果需要专业评估、形式化确认和学