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

背景：文章报道了AI模型GPT-5.2 Pro独立证明了数学界一道悬置45年的埃尔德什猜想（第281号问题），该问题涉及同余覆盖系统与自然密度的关系。研究目的：探讨AI在数学证明领域的实际能力与贡献，并对证明过程及结果进行验证与评估。结论：菲尔兹奖得主陶哲轩验证了GPT-5.2 Pro基于遍历论的证明成立，同时指出另有研究者通过组合经典定理（达文波特-埃尔多斯定理和罗杰斯定理）给出了更简洁的证明。陶哲轩强调评估AI数学成功率时需注意报告偏差，实际在埃尔德什问题上的成功率仅为1%-2%，但仍可能推动非平凡的进展。