量子位
·
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
💡
原文中文，约2200字，阅读约需6分钟。
📝
内容提要
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在埃尔德什问题上的贡献仍然可观。
❓
延伸问答
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的证明方法更依赖伯克霍夫定理，且避免了常见的错误。
➡️
