OpenAI布罗克曼:GPT-5.2 Pro再次破解公开数学难题,获陶哲轩认可
速读:
IT之家 1 月 18 日消息,Eclipse 创始人 Neel Somani 今日在 X 上发文称,他使用 GPT-5.2 Pro 破解了另一个著名的 Erdős(埃尔德什)难题。
数学家陶哲轩表示,GPT-5.2 Pro 在至少一个 Erdős 问题上,几乎独立地完成了解答过程。这可能是“AI 解决开放问题的最明确的案例”。
OpenAI 总裁兼联合创始人格雷格 · 布罗克曼(Greg Brockman)随后转发并评论称,这是数学与科学进步的一大标志。
GPT-5.2 Pro 是 OpenAI 于 2025 年发布的最新高级模型系列之一,其定位是针对专业复杂任务提供更强推理、结构化输出能力的工具。
OpenAI 官方文档也指出,GPT-5.2 系列在科学与数学任务方面有显著进步,能够生成详细结构化论证,并探索假设与证明方向,但依然需要人类专家对结果进行校验。
这一过程强调的是 AI 在“草拟证明与快速反复修改数学文本”方面的能力,而不仅仅是检索已有文献的结果。陶哲轩同时表示,这类解答的意义应当谨慎理解,因为多数学术问题的难度各不相同,且仅有少量开放问题适合用现有工具在有限人类指导下完成。
IT之家注:Erdős 问题源于已故匈牙利数学家保罗 · 埃尔德什(Paul Erdős),他提出过数百个开放问题,涵盖组合数学、数论等多个领域。这些问题中既有极难的深度猜想,也有长期未被研究的较易问题。问题的具体难度分布非常广泛。
因此,即便一个问题长时间内一直未被正式解决,也不能直接说它是无解难题或从未有人尝试研究过。陶哲轩指出,在很多情况下,问题可能只是尚未被认真研究过。
主题:问题|数学|GPT-5.2Pro|Erdős