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