OpenAI 宣称其推理模型证明了 80 年历史的埃尔多斯几何猜想，数学家首次背书
OpenAI claims it solved an 80-year-old math problem — for real this time
OpenAI 宣布其推理模型证明了一个由保罗·埃尔多斯于 1946 年提出的著名平面几何猜想，这是 AI 首次自主解决如此级别的数学公开难题，并首次获得包括托马斯·布鲁姆在内的数学家背书。
OpenAI 宣布其推理模型证明了一个由保罗·埃尔多斯于 1946 年提出的著名平面几何猜想，这是 AI 系统首次自主解决如此级别的数学公开难题。七个月前，OpenAI 曾因过早宣布解决了 10 个埃尔多斯问题而遭业界群嘲，当时数学家托马斯·布鲁姆批评其声明为「戏剧性的误导」。这一次，OpenAI 同步发布了包括数学家 Noga Alon、Melanie Wood、托马斯·布鲁姆在内的背书声明——后者此前曾严格批评过 OpenAI，其认可被视为较可信的第三方验证。该证明由通用推理模型完成，而非专门针对数学问题设计的系统，显示 AI 在长链条逻辑推理能力上取得显著进步，对 AI 用于科研辅助的领域有重大意义。
对 AI 行业的影响
这是 AI 首次在纯数学领域获得国际知名数学家的背书式认可，标志着 AI 长推理能力进入可信赖的科研辅助阶段。若该证明被确认，将对 AI for Science 领域产生强烈推动，可能加速 AI 在数学、物理、化学等基础科学研究的商业化应用，并提升市场对通用推理模型的信心。
原文参考
来源：TechCrunch AI · 2026-05-20
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.