近日，Eclipse创始人Neel Somani在社交平台X上发布消息称，他借助GPT-5.2 Pro成功攻克了一个著名的数学难题——埃尔德什问题。
对此，著名数学家陶哲轩评论指出，GPT-5.2 Pro在至少一个埃尔德什问题的解答过程中展现出了近乎独立的能力。这被视为人工智能解决开放性问题的最明确案例之一。
随后，OpenAI总裁兼联合创始人格雷格·布罗克曼转发了这一消息，并评论称这是数学与科学领域的重要里程碑。
作为OpenAI于2025年推出的最新高级模型之一，GPT-5.2 Pro专为处理专业性和复杂性极强的任务而设计。它在推理能力和结构化输出方面表现突出。
根据OpenAI的官方文档，GPT-5.2系列在科学和数学任务上取得了显著进步，能够生成详细且结构严谨的论证，并探索假设与证明的方向。然而，这些结果仍需经过人类专家的验证。
值得注意的是，这一突破主要体现在AI在”草拟证明和快速迭代修改数学文本”方面的能力上，而非简单地检索现有文献资料。陶哲轩指出，虽然这种解答方式具有重要意义，但需要谨慎理解其适用范围。他强调，学术问题的难度差异很大，且目前只有少数开放性问题适合通过现有工具在有限的人类指导下解决。
注：埃尔德什问题是由匈牙利数学家保罗·埃尔德什提出的众多未解数学难题之一，涵盖组合数学、数论等多个领域。这些问题的难度差异显著，既有极富挑战性的深度猜想，也有尚未得到足够关注但相对容易的问题。
陶哲轩进一步解释道，不能因为一个问题长时间未被解决就直接判定其为无解难题或从未有人尝试研究。在许多情况下，问题可能只是尚未受到应有的重视或研究投入。
相关阅读：
-
陶哲轩亲测谷歌Gemini 3：十分钟搞定百年数学难题
-
谷歌AI系统AlphaEvolve获陶哲轩团队认可，为大规模数学研究开辟新可能
-
陶哲轩仅用29行Python代码借助GPT-5解决数学难题
-
陶哲轩回应OpenAI新模型IMO夺冠，GPT-5测试版曝光
-
陶哲轩宣布”等式理论计划”成功：人类与AI协作完成2200万数学关系证明
相关文章
