OpenAI 发布前沿模型数学新成果,称已解 90 个顶级未解难题

inductionheads · x · 2026-10-07

OpenAI 官方宣布发布由内部前沿模型产出的一批新数学结果,并称已与普林斯顿高等研究院的「数学与人工智能独立顾问组」沟通,参考其建议决定发布方式。

第三方研究者 LechMazur 快速核查了配套的 ProofAtlas「Top 500 未解数学难题」榜单,发现其中约 90 个问题被标注为已完全解决,排名最高的一个条目引发关注。ProofAtlas 的排名本身基于 LLM 对问题重要性的成对比较评估,权重涵盖 OpenAI、Claude、GLM、DeepSeek 等多个模型家族,官方明确提示这是模型评估而非专家共识。这批成果的真实性与含金量仍有待数学界独立验证。