事件概述 - OpenAI最新模型GPT-5.2 Pro独立证明了数学界一道悬而未决的埃尔德什猜想（第281号问题），该问题由保罗·埃尔德什与罗纳德·格雷厄姆于1980年提出，已等待解答45年[2][4][5] - 该AI证明结果已获菲尔兹奖得主陶哲轩验证并收录于埃尔德什问题网站，陶哲轩评价其为“迄今为止最明确的第一类结果（AI主要贡献）”[3][8] 技术方法与验证 - **证明路径**：GPT-5.2 Pro的证明在无穷阿德尔整数环上展开，借助哈尔测度和点态遍历定理，结合紧致性论证完成了从逐点收敛到一致收敛的跃迁，被陶哲轩描述为“Furstenberg对应原理”的一个变体，但比通常论证更依赖伯克霍夫定理[9][12][13] - **验证过程**：陶哲轩亲自动手将整个遍历论论证翻译成组合学语言，用哈代-利特尔伍德极大不等式替代伯克霍夫定理重新推导，确认证明成立[16][17] - **错误规避**：该证明成功避免了前几代大语言模型容易犯的极限交换或量词顺序等微妙错误[15] - **交叉验证**：谷歌的Gemini 3 Pro模型也表示证明没有问题，另一位研究者用GPT-5.2 Pro反复检查后，AI认为唯一需补充严格性的地方在第二步，但后续确认可通过正确应用法图引理解决[24][26] 替代证明与学术发现 - 在讨论中，有用户发现该问题存在基于两个经典定理的更简单解法：1936年的达文波特-埃尔德什密度收敛定理和1966年的罗杰斯定理，将两者结合几乎可直接推论出答案[18][19] - 值得注意的是，埃尔德什本人是1936年论文的合著者，但在1980年提出问题时未意识到答案近在眼前，法国数学家特南鲍姆确认了该经典组合路径的有效性[20][21] - 陶哲轩指出，罗杰斯定理因未单独发表且引用寥寥而未被广泛知晓，此次讨论有助于该定理在筛法和同余覆盖研究领域的传播[22] - 目前该问题拥有两份不同的证明：GPT-5.2 Pro的遍历论路径和基于经典文献的组合路径[22][23] AI在数学研究中的表现评估 - 陶哲轩提醒，评估AI工具真实成功率时存在强烈的报告偏差，负面结果很少被披露和传播[27] - 一个系统记录大语言模型在埃尔德什问题上表现的开源项目数据显示，这些工具在埃尔德什问题上的真实成功率大约只有1%到2%[28][31] - 尽管成功率低，但考虑到埃尔德什问题库中有超过600道未解难题，该比例仍意味着一批数量可观且非平凡的AI贡献[32]