# OpenAI推理模型攻克80年几何猜想：AI首次自主证明Erdős开放问题
近日，OpenAI宣布其最新推理模型（基于o1系列架构）成功独立证明了由著名数学家Paul Erdős于1940年代提出的一项几何猜想，标志着人工智能在数学研究领域实现了历史性突破——**首次不依赖人类引导，自主完成对一项长期未解开放问题的完整证明**。该猜想涉及离散几何中点集距离分布的极值问题，曾困扰学界近80年，被视为组合几何领域的“圣杯”之一。
—
## 从辅助到自主：推理模型的“深度搜索”策略
不同于此前AI在数学竞赛中的表现——通常需要人类提供形式化框架或分步提示——本次推理模型采用纯粹的“链式推理+蒙特卡洛树搜索”方法。模型将问题转化为一个关于点集配置的图论优化问题，通过内在的“假设-验证-回溯”循环，在数百万条逻辑路径中筛选出符合公理系统的证明链。关键在于，模型不仅生成了结论，还构造了全新的构造性反例与引理，这些引理此前从未被人类数学家记录过。OpenAI团队表示，该证明已通过Lean等形式化验证工具的严格检查。
—
## 数学研究范式的潜在变革
这一成就的意义远超技术本身。首先，它证明当前基于大语言模型与强化学习的推理架构已具备处理“开放式创造”的能力——即发现人类尚未意识到的数学结构。其次，Erdős问题往往以“高难度、低指引”著称，需在极少的已知结论下开创新路径，此次成功暗示AI或能系统性推进组合数学、数论等领域中悬而未决的猜想（如孪生素数、拉姆齐数）。但需警惕的是，AI的“证明”仍缺乏人类数学家所追求的解释性美感，其长逻辑链的可靠性也需更多交叉验证。未来，AI更可能扮演“数学协作者”角色，而非取代研究者。
