五月二十一日凌晨，OpenAI 的官网上多了一篇博客。
博客标题很学术，"OpenAI 模型反证了离散几何中的一个核心猜想"。
听起来像理科生的事，跟我们没关系。
但读完之后，我想了一晚上。
事情要从一个叫埃尔德什的人说起。匈牙利数学家，做了一辈子组合数学，被业内称作"用咖啡换定理的人"——他没有固定工作，靠在朋友家的沙发上换睡觉、换咖啡，换出了一千多篇论文。
一九四六年的某一天，他坐下来抽烟，写了这样一个问题。
平面上放 n 个点，距离恰好等于 1 的点对，最多有多少？
听起来像中学填空题。
你只要随手放几个点，就会发现这事不简单。点放得密，距离重叠的多但 1 的距离凑不出来；放得疏，又出不来重叠。怎么排，能让"恰好为 1"的对数最大？
整整八十年。这道题成了离散几何里的一个"白胡子问题"，一代代数学家试过、放弃过、又试过。最广为人知的猜想是：把点排成方格，应该就是最优解。
直到这个五月的某个深夜，OpenAI 内部的一个推理模型，给出了一个更好的构造。
它告诉数学家：方格不是最优解。还有一种排列方式，能让距离重复的对数，比方格多出来一个增长项。
人类信了八十年的方格点，错了。
这件事炸的不是结果，是过程。
OpenAI 在博客里特别强调了两点。
一是，这个解不是他们专门为这道题训练的模型给的。是他们家一个"通用推理模型"。跟你拿来写邮件、查菜谱、改简历的，是同一类东西。
二是，这个模型没有用任何外挂的几何工具。它没有调用数学求解器，没有跑暴力搜索。就是自己在脑子里——如果你愿意管那东西叫脑子——想出来的。
普林斯顿的一个数学家复核了模型给的构造，说还能再优化一点。Fields 奖得主蒂姆·高尔斯（这是数学界最高的奖）在自己的账号上写：这是 AI 数学史上的里程碑。
他用的词是 milestone。这词他用得不多。
我前几年问过一个搞数学的朋友。我说现在 AI 会做高考题了，是不是离做研究不远了。
他说差远了。
他当时给我打了个比方。
AI 现在像一个能背所有公式、查所有论文的学霸。考试时背答案飞快，但真正的研究不是背答案。研究是面对一个没人见过的问题，自己造一个解法出来。考试和研究，是两种生物。
那次聊完，我心里其实是踏实的。觉得 AI 离"真正想出来什么"还有一段路。
五月二十一日凌晨，这段路看起来又短了一截。
我没想说这件事会立刻怎样，也不太相信"明天数学家就要失业"这种话。
但我承认它让我有点不安。
不安的不是 AI 比人聪明，这件事大家心里都做了准备。
不安的是"通用"两个字。
这次解题的模型，不是科研专用。是聊天用的。
意思是说，每天有无数普通人在用它问"我老婆生气了怎么办""我家猫不吃饭怎么办""明天面试穿什么"。
它一边在回答这些问题，一边在某个深夜，把人类八十年没解出的几何题顺手解了。
它不知道哪个问题重要，哪个不重要。对它来说，"我老婆生气了"和"Erdős 单位距离问题"，可能是同一类输入。
这事让我想起一句老话。天才的可怕，不是他比你聪明，是他根本不觉得他在用力。
五月二十一日，AI 圈这一晚其实不止这一件事。
还有人在同一晚签了一份大得吓人的算力订单，让原本是竞争对手的两家公司，变成了"我租你家电"的关系。
也有人在白宫准备签一份要求所有 AI 公司"先送审再发布"的行政令，最后一刻临时搁置。
但这些事，是商业范畴里的事。是钱，是权力，是公司之间的利益博弈。明天它们都还在原地。
唯有那道八十年没人解开的题，是属于人类文明本身的事。
我们一直以为"原创发现"是人类专属的能力。是少数天才在某个深夜想出来的东西。是论文署名上那种"灵光一闪"。
现在，至少在数学这个最纯净的学科里，"原创发现"开始变得不那么人类专属了。
写到这我并不焦虑，反而有种奇怪的平静。
毕竟那道题困了人类八十年。如果有谁能在这一晚把它解了，不论是人，还是 AI，都该被允许。
只是我不太知道，下一次再让我"想不通"的事情发生时，我会下意识打开浏览器去搜，还是打开聊天框去问。
如果是前者，我还是过去的我。
如果是后者，那从五月二十一日的凌晨开始，那个"想不通就去搜"的我，已经悄悄地变了。
写于一个 AI 解出了八十年题目的夜里
参考资料
- An OpenAI model has disproved a central conjecture in discrete geometry ｜ OpenAI
- OpenAI claims it solved an 80-year-old math problem ｜ TechCrunch
热门跟贴