Tim Gowers 说：今天是数学史上重要的一天。

原因是 GPT-5 宣布改进了 Erdős 的平面单位距离问题的解。这和之前那些 AI 解决的 Erdős 问题不同，那些问题多少都是一些小众的有趣问题，AI 解决它们多少有点闹着玩的意思。但平面单位距离问题是一个困难且重要的著名问题，而这次 GPT 发现的证明横跨离散几何和代数数论。用 Tim Gowers 的说法：如果这是一个人写的论文，我会毫不犹豫推荐到 Annals of Mathematics 发表。

论文地址：http://t.cn/AX6ZfJ0y

GPT 关于这个问题的思维链全文有100多页长，见：http://t.cn/AX67as3v