量子位
·
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
内容提要
GPT-5.2 Pro独立证明了埃尔德什猜想，经过陶哲轩验证，未发现错误。该问题已有更简单的解法，涉及经典定理。陶哲轩提醒在评估AI成功率时需注意报告偏差，真实成功率约为1%至2%。
关键要点
-
GPT-5.2 Pro独立证明了埃尔德什猜想，经过陶哲轩验证，未发现错误。
-
该问题已有更简单的解法，涉及1936年和1966年的经典定理。
-
陶哲轩强调评估AI成功率时需注意报告偏差，真实成功率约为1%至2%。
-
埃尔德什问题库中的第281号问题由保罗·埃尔德什和罗纳德·格雷厄姆于1980年提出。
-
陶哲轩对GPT-5.2 Pro的证明方法印象深刻，特别是其避免了常见错误。
-
KoishiChan用户发现该问题可以通过经典文献组合得到更简单的证明。
-
陶哲轩与法国数学家特南鲍姆讨论后确认经典定理能解决该问题。
-
AI模型Gemini 3 Pro也验证了GPT-5.2 Pro的证明没有问题。
-
陶哲轩指出，负面结果在AI工具评估中往往被忽视，影响真实成功率的统计。
-
尽管成功率低，但AI在埃尔德什问题上的贡献仍然可观。
延伸解读
AI在数学证明中的潜力
GPT-5.2 Pro成功证明埃尔德什猜想，标志着AI在数学领域的潜力。尽管成功率仅为1%至2%，但其贡献仍然显著，表明AI可以在复杂问题上提供新的视角和方法。
经典定理的重要性
文章提到的经典定理，如达文波特-埃尔德什定理和罗杰斯定理，显示了数学研究中基础理论的价值。AI的证明虽然复杂，但更简单的解法提醒我们，深入理解经典文献仍然是解决问题的关键。
评估AI成功率的挑战
陶哲轩指出，评估AI工具的真实成功率时需警惕报告偏差。负面结果往往被忽视，这可能导致对AI能力的误解。了解这一点有助于更客观地看待AI在数学研究中的应用。
延伸问答
GPT-5.2 Pro证明了哪个数学猜想？
GPT-5.2 Pro证明了埃尔德什猜想。
陶哲轩对GPT-5.2 Pro的证明有什么看法？
陶哲轩认为GPT-5.2 Pro的证明没有犯错，印象深刻。
埃尔德什猜想的历史背景是什么？
埃尔德什猜想是由保罗·埃尔德什和罗纳德·格雷厄姆于1980年提出的，属于埃尔德什问题库中的第281号问题。
陶哲轩提到的AI成功率的真实情况是什么？
陶哲轩指出AI在数学问题上的真实成功率约为1%至2%。
KoishiChan用户发现了什么重要信息？
KoishiChan用户发现埃尔德什猜想有更简单的解法，涉及1936年和1966年的经典定理。
GPT-5.2 Pro的证明方法与传统方法有什么不同？
GPT-5.2 Pro的证明方法更依赖伯克霍夫定理，且避免了常见的错误。
