45年数论猜想被ChatGPT独立证明陶哲轩：没犯任何错误AI证明数学猜想，这次来真的了。OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。论证过程经菲尔兹奖得主陶哲轩验证成立，还被评价为“迄今为止最明确的第一类结果（AI主要贡献）”。真正让陶哲轩印象深刻的不是证明方法本身，而是AI没有犯错。让我更惊讶的是它避免了错误，比如极限交换或量词顺序的失误，这正是这道题最容易踩的坑。前几代大语言模型几乎肯定会在这些微妙之处栽跟头。网页链接
45年数论猜想被ChatGPT独立证明陶哲轩：没犯任何错误AI证明数学猜想，这次来真的了。OpenAI最新模型GPT-5.2 Pro刚刚独立证明了一道埃尔德什猜想。论证过程经菲尔兹奖得主陶哲轩验证成立，还被评价为“迄今为止最明确的第一类结果（AI主要贡献）”。真正让陶哲轩印象深刻的不是证明方法本身，而是AI没有犯错。让我更惊讶的是它避免了错误，比如极限交换或量词顺序的失误，这正是这道题最容易踩的坑。前几代大语言模型几乎肯定会在这些微妙之处栽跟头。网页链接