dhw (@daohewang) 在 45年数论猜想被GPT-5.2 Pro独立完成证明 中发帖
AI证明数学猜想,这次来真的了。
OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。
论证过程经菲尔兹奖得主陶哲轩验证成立,还被评价为“迄今为止最明确的第一类结果(AI主要贡献)”。
[image]
原文链接:重磅!GPT - 5.2 Pro独立证明45年数论猜想,陶哲轩称无任何错误