2026年1月17日，OpenAI的GPT-5.2 Pro独立证明了一道由保罗·埃尔德什和罗纳德·格雷厄姆于1980年提出的数论猜想，该猜想涉及同余覆盖系统与自然密度的关系。菲尔兹奖得主陶哲轩验证了这一证明，并评价其为‘最明确的第一类结果’，且未犯任何数学错误。与此同时，网友KoishiChan发现该问题可通过1936年和1966年的两个经典定理直接解决，揭示了文献传播中的盲点。陶哲轩提醒，评估AI数学能力需警惕报告偏差，当前AI在埃尔德什问题上的真实成功率仅为1%-2%，但仍具研究价值。

1月18日，Eclipse创始人Neel Somani在X平台发文称，使用OpenAI最新高级模型GPT-5.2 Pro破解了一个著名的Erdős数学难题。数学家陶哲轩对此表示认可，认为这是‘AI解决开放问题的最明确案例’，并强调解答需谨慎理解。OpenAI总裁布罗克曼转发评论，称其为数学与科学进步的重要标志。GPT-5.2 Pro于2025年发布，擅长复杂任务推理与结构化输出，尤其在草拟证明和快速修改数学文本方面表现突出，但仍需人类专家校验结果。Erdős问题由匈牙利数学家保罗·埃尔德什提出，涵盖多个领域，难度分布广泛。陶哲轩指出，许多问题可能只是未被充分研究。