晚上刷到OpenAI的这条消息时，我愣了好几秒。不是又一个“AI写论文”或者“AI辅助证明”的新闻，而是一个通用推理模型，自己找到了一个重要开放问题的反例，并且把证明做完了。这个问题就是保罗·埃尔德什在1946年提出的平面单位距离问题。
这可能是目前为止，AI在纯数学前沿最硬核的一次亮相。
到底是什么问题？
简单说：在平面上放n个点，你最多能让多少对点之间的距离精确等于1？
数学家们长期相信，最好的构造大概就是方格那样的规则排列，得到的单位距离对数量大概是 n^{1 + o(1)}，也就是接近线性，后面那个o(1)会随着n增大慢慢趋向0。Erdős本人对这个问题非常上心，还悬赏过。
这个猜想听起来保守，但它站了快80年。很多人尝试过改进，却始终没能打破这个“接近线性”的天花板。
结果OpenAI的模型直接甩出一个无限族的新构造：在无穷多个n上，单位距离对的数量能达到至少 n^{1 + δ}，其中δ是一个固定的正数。后来数学家Will Sawin进一步把δ改进到大约0.014。这不是小修小补，而是多项式级别的实质提升，直接把原有的信念打翻了。
最让人惊讶的不是结果，而是方法
这个模型不是专门训练来做数学的。它就是一个通用的推理模型，在OpenAI内部测试各种Erdős问题时，自己走通了这条路。
对数学爱好者和科研工作者来说，这是一个激动人心的时刻。未来也许不再是“人 vs 机器”，而是“人和机器一起，把人类知识边界往外推”。
你怎么看这次突破？欢迎评论区聊聊。
更多AI科技内容，微信搜索橙市播客小程序
微信扫描下方的二维码阅读更多精彩内容
声明：本站所有文章，如无特殊说明或标注，均为橙市播客原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。如果你是AI总结，务必加上此版权说明
