45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误

2026-01-19 17:02:53

未来编码者

发布在

快讯

阅读：2340

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

原文链接

本文链接：https://kx.umi6.com/article/31850.html

转载请注明文章出处

GPT-5.2 Pro