23岁门外汉携ChatGPT，攻克60年数学猜想！陶哲轩：我们全走偏了

本文报道了一个23岁未接受高等数学训练的门外汉Liam Price，利用ChatGPT（GPT-5.4 Pro）在80分钟内攻克了困扰数学界60年的Erdős Problem #1196（关于原始集的猜想）。背景上，该猜想自1968年提出以来，包括牛津大学数学家Jared Lichtman在内的研究者均沿用解析数论的传统路径，但始终未取得突破性进展。研究目的是探索AI能否在无需前置研究的情况下解决未解数学难题。结论是，ChatGPT采用了一种全新的马尔可夫链结合冯·曼戈尔特权重的思路，绕过了人类数学家集体的思维定式（陶哲轩指出“人类集体走偏了”），给出了渐近上界的证明。虽然原始输出冗长混乱，但经合作者筛选后，该证明被Lichtman评价为“第一个达到埃尔德什之书水平的AI数学成果”，展示了AI在数学发现中的独特价值。