历史性突破!OpenAI 模型搞定人类科学家 80 年未破难题,能发顶刊了

就在 7 个月前,OpenAI 前副总裁凯文・韦尔(Kevin Weil)曾在 X 上宣称 GPT-5″解决了 10 个此前未解的埃尔德什问题”,事后被证实只是检索到了已有文献中的解答,最终韦尔删帖并于 2026 年 4 月离职 … OpenAI 联合创始人兼总裁格雷格・布罗克曼(Greg Brockman)在 X 上写道,OpenAI 模型在数学领域取得了重大突破,推翻了保罗・埃尔德什 1946 年提出的一个离散几何核心猜想 … 他也指出,这次 AI 原始证明虽然完全有效,但被 OpenAI 的人类研究员和参与本文的众多数学家显著改进了,人类在讨论、消化和改进这一证明、以及探索其后果方面仍扮演着关键角色。

原文连接