五月二十一日凌晨，OpenAI 的官網(wǎng)上多了一篇博客。

博客標(biāo)題很學(xué)術(shù)，"OpenAI 模型反證了離散幾何中的一個(gè)核心猜想"。

聽起來像理科生的事，跟我們沒關(guān)系。

但讀完之后，我想了一晚上。

事情要從一個(gè)叫埃爾德什的人說起。匈牙利數(shù)學(xué)家，做了一輩子組合數(shù)學(xué)，被業(yè)內(nèi)稱作"用咖啡換定理的人"——他沒有固定工作，靠在朋友家的沙發(fā)上換睡覺、換咖啡，換出了一千多篇論文。

一九四六年的某一天，他坐下來抽煙，寫了這樣一個(gè)問題。

平面上放 n 個(gè)點(diǎn)，距離恰好等于 1 的點(diǎn)對(duì)，最多有多少？

聽起來像中學(xué)填空題。

你只要隨手放幾個(gè)點(diǎn)，就會(huì)發(fā)現(xiàn)這事不簡(jiǎn)單。點(diǎn)放得密，距離重疊的多但 1 的距離湊不出來；放得疏，又出不來重疊。怎么排，能讓"恰好為 1"的對(duì)數(shù)最大？

整整八十年。這道題成了離散幾何里的一個(gè)"白胡子問題"，一代代數(shù)學(xué)家試過、放棄過、又試過。最廣為人知的猜想是：把點(diǎn)排成方格，應(yīng)該就是最優(yōu)解。

直到這個(gè)五月的某個(gè)深夜，OpenAI 內(nèi)部的一個(gè)推理模型，給出了一個(gè)更好的構(gòu)造。

它告訴數(shù)學(xué)家：方格不是最優(yōu)解。還有一種排列方式，能讓距離重復(fù)的對(duì)數(shù)，比方格多出來一個(gè)增長(zhǎng)項(xiàng)。

人類信了八十年的方格點(diǎn)，錯(cuò)了。

這件事炸的不是結(jié)果，是過程。

OpenAI 在博客里特別強(qiáng)調(diào)了兩點(diǎn)。

一是，這個(gè)解不是他們專門為這道題訓(xùn)練的模型給的。是他們家一個(gè)"通用推理模型"。跟你拿來寫郵件、查菜譜、改簡(jiǎn)歷的，是同一類東西。

二是，這個(gè)模型沒有用任何外掛的幾何工具。它沒有調(diào)用數(shù)學(xué)求解器，沒有跑暴力搜索。就是自己在腦子里——如果你愿意管那東西叫腦子——想出來的。

普林斯頓的一個(gè)數(shù)學(xué)家復(fù)核了模型給的構(gòu)造，說還能再優(yōu)化一點(diǎn)。Fields 獎(jiǎng)得主蒂姆·高爾斯（這是數(shù)學(xué)界最高的獎(jiǎng)）在自己的賬號(hào)上寫：這是 AI 數(shù)學(xué)史上的里程碑。

他用的詞是 milestone。這詞他用得不多。

我前幾年問過一個(gè)搞數(shù)學(xué)的朋友。我說現(xiàn)在 AI 會(huì)做高考題了，是不是離做研究不遠(yuǎn)了。

他說差遠(yuǎn)了。

他當(dāng)時(shí)給我打了個(gè)比方。

AI 現(xiàn)在像一個(gè)能背所有公式、查所有論文的學(xué)霸。考試時(shí)背答案飛快，但真正的研究不是背答案。研究是面對(duì)一個(gè)沒人見過的問題，自己造一個(gè)解法出來。考試和研究，是兩種生物。

那次聊完，我心里其實(shí)是踏實(shí)的。覺得 AI 離"真正想出來什么"還有一段路。

五月二十一日凌晨，這段路看起來又短了一截。

我沒想說這件事會(huì)立刻怎樣，也不太相信"明天數(shù)學(xué)家就要失業(yè)"這種話。

但我承認(rèn)它讓我有點(diǎn)不安。

不安的不是 AI 比人聰明，這件事大家心里都做了準(zhǔn)備。

不安的是"通用"兩個(gè)字。

這次解題的模型，不是科研專用。是聊天用的。

意思是說，每天有無數(shù)普通人在用它問"我老婆生氣了怎么辦""我家貓不吃飯?jiān)趺崔k""明天面試穿什么"。

它一邊在回答這些問題，一邊在某個(gè)深夜，把人類八十年沒解出的幾何題順手解了。

它不知道哪個(gè)問題重要，哪個(gè)不重要。對(duì)它來說，"我老婆生氣了"和"Erd?s 單位距離問題"，可能是同一類輸入。

這事讓我想起一句老話。天才的可怕，不是他比你聰明，是他根本不覺得他在用力。

五月二十一日，AI 圈這一晚其實(shí)不止這一件事。

還有人在同一晚簽了一份大得嚇人的算力訂單，讓原本是競(jìng)爭(zhēng)對(duì)手的兩家公司，變成了"我租你家電"的關(guān)系。

也有人在白宮準(zhǔn)備簽一份要求所有 AI 公司"先送審再發(fā)布"的行政令，最后一刻臨時(shí)擱置。

但這些事，是商業(yè)范疇里的事。是錢，是權(quán)力，是公司之間的利益博弈。明天它們都還在原地。

唯有那道八十年沒人解開的題，是屬于人類文明本身的事。

我們一直以為"原創(chuàng)發(fā)現(xiàn)"是人類專屬的能力。是少數(shù)天才在某個(gè)深夜想出來的東西。是論文署名上那種"靈光一閃"。

現(xiàn)在，至少在數(shù)學(xué)這個(gè)最純凈的學(xué)科里，"原創(chuàng)發(fā)現(xiàn)"開始變得不那么人類專屬了。

寫到這我并不焦慮，反而有種奇怪的平靜。

畢竟那道題困了人類八十年。如果有誰能在這一晚把它解了，不論是人，還是 AI，都該被允許。

只是我不太知道，下一次再讓我"想不通"的事情發(fā)生時(shí)，我會(huì)下意識(shí)打開瀏覽器去搜，還是打開聊天框去問。

如果是前者，我還是過去的我。

如果是后者，那從五月二十一日的凌晨開始，那個(gè)"想不通就去搜"的我，已經(jīng)悄悄地變了。

寫于一個(gè) AI 解出了八十年題目的夜里

參考資料

1. An OpenAI model has disproved a central conjecture in discrete geometry ｜ OpenAI
2. OpenAI claims it solved an 80-year-old math problem ｜ TechCrunch