1月18日,Eclipse创始人Neel Somani宣布,他利用GPT-5.2Pro人工智能模型破解了另一个著名的埃尔德什难题。数学家陶哲轩认为,GPT-5.2Pro在至少一个埃尔德什问题上几乎独立完成了解答过程,这可能是AI解决开放问题的最明确案例。OpenAI总裁格雷格·布罗克曼对此表示,这是数学与科学进步的一大标志。
GPT-5.2Pro是OpenAI于2025年发布的最新高级模型系列之一,其定位是针对专业复杂任务提供更强推理、结构化输出能力的工具。OpenAI官方文档指出,GPT-5.2系列在科学与数学任务方面有显著进步,能够生成详细结构化论证,并探索假设与证明方向,但依然需要人类专家对结果进行校验。这一过程强调的是AI在“草拟证明与快速反复修改数学文本”方面的能力,而不仅仅是检索已有文献的结果。
陶哲轩同时表示,这类解答的意义应当谨慎理解,因为多数学术问题的难度各不相同,且仅有少量开放问题适合用现有工具在有限人类指导下完成。埃尔德什问题源于已故匈牙利数学家保罗·埃尔德什,他提出过数百个开放问题,涵盖组合数学、数论等多个领域。这些问题中既有极难的深度猜想,也有长期未被研究的较易问题。
