OpenAI 新模型推翻 80 年未解几何猜想，首次自主攻克数学难题

OpenAI 宣布，其全新推理模型成功推导出一个原创数学证明，推翻了一道自 1946 年由保罗·埃尔德什提出的几何学未解猜想。该猜想此前被认为最优解趋近于正方形网格结构，但新模型发现了一类表现更优的构造体系。

这是人工智能首次自主攻克数学核心领域的重大难题。据 OpenAI 介绍，该模型并非专为解决数学问题设计，而是通用推理模型。公司强调，此次突破表明 AI 已具备梳理复杂逻辑链条、跨学科关联知识的能力。

多位数学家为这一成果背书，包括诺加·阿隆和梅兰妮·伍德。此前，OpenAI 前副总裁曾声称 GPT-5 攻克了 10 道埃尔德什难题，后被证实失实并遭同行嘲讽。此次 OpenAI 附上专家佐证，避免了重蹈覆辙。