#45年数论猜想被ChatGPT独立证明#陶哲轩：没犯任何错误
AI证明数学猜想，这次来真的了。
OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。
论证过程经菲尔兹奖得主陶哲轩验证成立，还被评价为“迄今为止最明确的第一类结果（AI主要贡献）”。
真正让陶哲轩印象深刻的不是证明方法本身， ...
AI证明数学猜想，这次来真的了。
OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。
论证过程经菲尔兹奖得主陶哲轩验证成立，还被评价为“迄今为止最明确的第一类结果（AI主要贡献）”。
真正让陶哲轩印象深刻的不是证明方法本身， ...
