数学界变天！OpenAI推理模型推翻 80 年几何猜想，AI首次自主证明Erdős开放问题
一句话看懂：OpenAI的内部推理模型成功证明了1946年由数学家Paul Erdős提出的“单位距离猜想”反例，这是AI首次独立解决核心数学开放问题。该模型利用长链推理能力，跳出了人类近80年来的传统解题思路，并已通过多位国际数学家的独立验证。
事件核心：发生了什么
北京时间2026年5月21日，OpenAI宣布其最新内测推理模型生成了原创数学证明，正式推翻“单位距离猜想”——该猜想由匈牙利数学家Paul Erdős在1946年提出，距今已80年。与7个月前被学界批评“从文献中检索已有答案”不同，这次OpenAI主动邀请包括Thomas Bloom在内的多位国际数学家进行独立验证，证明的严谨性已获得明确认可。模型没有遵循数学家普遍认为的“网格状排列”最优解，而是自主发现了一种性能更优的新构造方式。这意味着AI成功完成了一次从假设到证明的全链条原创推理，而非对齐已知结论。
为什么重要
过去AI在数学领域的成果多集中于“重新验证已知定理”，而此次突破证明AI模型已具备解决“无人知道答案”问题的能力。从技术层面看，数学证明要求数十步逻辑链严格自洽，任何一步出现幻觉都导致全盘失败；该模型能完成此任务，意味着其在“长期推理”场景下的幻觉控制取得了实质性进展。这对于依赖精确推演的学术研究（如生物学中的蛋白质折叠、材料科学中的晶体结构分析）以及需要复杂决策的AI应用（如药物分子设计）可能产生直接溢出效应。
对用户/开发者/创作者的影响
目前该模型未公开，对普通用户尚无直接工具影响。但对AI开发者和科研从业者而言，这一进展释放了明确信号：具备深度推理能力的大模型正在从“语言生成”向“科学发现工具”演进。如果该模型后续以API形式开放，开发者可将其用于需要长链条、低幻觉的复杂任务，如代码生成中的算法探索、自动定理证明、金融风控中的因果推断等。对于企业采购决策者，这意味着在选择大模型时，推理准确率与幻觉控制能力的重要性将超过文本流畅度。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
目前公开信息显示，该证明仍需经过更完整的同行评审周期。值得关注三点：一是OpenAI是否会将此推理模型作为独立产品发布（如新的推理API规格），并公布其训练方法与算力消耗；二是谷歌DeepMind、Anthropic等竞品是否会快速跟进解决同类未解决问题；三是数学界与AI学界是否会由此推动建立面向AI的原创数学成果认证标准，以避免“检索冒充证明”的争议再次发生。
来源：AIbase
