量子位
·
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在埃尔德什问题上的贡献仍然可观。
