2026 年 5 月 20 日，OpenAI 的 X 帳號貼了張圖：一張紙上散著一堆點，兩兩之間有線連著。標題很客氣：「Today we're sharing a breakthrough on the planar unit distance problem」。然後數學圈炸鍋——但炸法跟你想像的不一樣。
把這個問題用一句話講完
紙上 n 個點，最多有幾對距離恰好等於 1？
這就是 Paul Erdős 在 1946 年發表 在 American Mathematical Monthly 的問題。簡單到一個高中生聽得懂，難到全世界最頂尖的數學家頂了 80 年。Brass、Moser、Pach 在 2005 的 Research Problems in Discrete Geometry 直接寫：「可能是組合幾何裡最有名（也最容易解釋）的問題。」 Noga Alon 形容它是「Erdős 最喜歡的問題之一」 ，Erdős 本人甚至為它出過獎金。
Erdős 自己證明了下界：
u(n) ≥ n^(1 + Ω(1/log log n))
意思是「至少會以這個速度成長」。然後他 conjecture：上界也差不多就這樣——n^(1+o(1)) 是最佳。
1984 年 Spencer、Szemerédi、Trotter 給了上界 O(n^(4/3))，至今未動。中間夾著 conjecture 的空間，80 年沒人填過。
直到 5 月 20 日，這個間隔被一個 LLM 撕了個小口。
看清楚這次發生了什麼
我先把細節釐清，因為媒體報導跟學者反應落差很大。
OpenAI 官方公告 5/20 發布。內部一個未公開的模型——Scott Aaronson 的部落格透露代號是 GPT-5.5 Pro ——用一個 prompt 完成了任務：
反證了 Erdős 的 conjecture。找出構造，給出 u(n) ≥ n^(1+δ)，其中 δ 是固定正數。OpenAI 官方版本未明確 δ 數值， Scott Aaronson 部落格估算 δ ~ 10^-38 。
對。反證，不是證明。
δ 究竟多小不影響數學意義——只要是固定正數，就是 polynomial improvement，conjecture 就垮了。Erdős 認為「上界長得就像下界」，AI 直接證明這想法錯了。
關鍵更有意思的是方法：
| 領域 | 角色 |
|---|---|
| 組合幾何（combinatorial geometry） | 原問題在這個領域 |
| 代數數論（algebraic number theory） | AI 用來打開問題的工具 |
| 核心結構：Golod-Shafarevich 無限類域塔 | AI 拿來建構反例 |
「拿數論工具來解組合幾何」這件事本身在學界不算新，但沒人想到要這樣用。
The Conversation 的解析 講得很白：「80 年來，大家都覺得 Erdős 的直覺大概是對的——直到 AI 用一個完全不同領域的工具，找到了能打破上界的構造。」
Ars Technica 補充 ：Erdős 假設「方形格點」大概就是最優，AI 找到一種比格點更複雜但更稠密的點排列——「想像成 Erdős 格點的聰明改版」。
OpenAI 公開了完整 prompt ，但完整 125 頁的中間推理檔案沒釋出。Nature 的解析裡 Sébastien Bubeck 強調這是「experimental, general-purpose reasoning model」——不是專門訓練解數學的模型。一個通用推理模型，吃下一個改寫成機器可讀格式的 Erdős 原題，吐出一個正確的反例構造。
數學家的真實反應
這裡開始變有趣。OpenAI 找了 9 位頂尖數學家先看結果，並請他們寫了 一份共同回應論文 （arXiv 2605.20695）——Alon、Bloom、Gowers、Litt、Sawin、Shankar、Tsimerman、Wang、Matchett Wood 聯名。這個陣容本身就是一個訊號：學界願意把這件事當「真的數學」看。
Noga Alon（Princeton 組合學泰斗）寫得最直接：
「There is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics: if a human had written the paper and submitted it to the Annals of Mathematics and I had been asked for a quick opinion, I would have recommended acceptance without any hesitation. No previous AI-generated proof has come close to that.」
Annals of Mathematics 是數學界頂級期刊。Alon 說「毫不猶豫推薦接受」——這句話在學界的重量很重。
Tim Gowers（Fields Medal 得主）的反應更耐人尋味。他先是嚇傻， 被 Ars Technica 引述了一句很誠實的話 ：
「I spent the evening adjusting my world view: If the AI could come up with a proof like that, then maybe it would be all over for mathematicians very soon.」
夭壽。
但他後來研究細節後鬆口氣——他在 companion paper 裡補充：「這次 AI 做的事，更接近 AlphaEvolve 那種優化工作，而非『靈感性洞察』。」也就是說：AI 在已知概念空間裡找到了人類沒注意到的組合，這跟「想出全新理論框架」還有距離。
Daniel Litt：
「至今 AI 自主產出的最獨特、最有趣的結果。」
Gil Kalai 在自己部落格 的標題用了一個字：「Amazing.」——這位老先生不會輕易這樣寫。
Scott Aaronson 的部落格標題就猛了 ：「Dispatches from the possibly last days of human relevance」。
真的可能嗎？接下來這段最關鍵。
故事的反高潮：人類幾天內就改進了 AI
這篇 blog 我覺得最該講的不是「AI 多神」，而是接下來發生的事。
Scott Aaronson 那篇部落格 寫的一個關鍵後續：
「Shortly afterward, Will Sawin, a human (!), improved GPT's construction to get ~n^1.014 pairs.」
意思是：AI 給的構造把 δ 推進到一個極小但確定為正的數（Aaronson 推估 10^-38 量級）；Princeton 數學家 Will Sawin 沒幾天時間，把同樣的構造方向細化，把 δ 推到 0.014——這個改進 由 OpenAI 官方公告正式收錄 。隨後 MathOverflow 與 erdosproblems.com 論壇上 多位學者持續推進，目前最佳記錄已到 δ ≈ 0.0346——包括 ChatGPT 5.5 Pro 與人類數學家來回協作的成果。連 Gil Kalai 也補了一筆：Anthropic 後續用自家系統獨立自主反證了同一 conjecture 的強形式，且這條線索激發 Bloom、Sawin、Schildkraut、Zhelezov 接著反證了 Erdős-Szemerédi sum-product conjecture（實數版）。
Daniel Litt 的補充也很關鍵 ：他被 OpenAI 找去檢查結果，看了一下就確認 AI 的解法是對的；然後他自己「nerd-sniped」進去想了一個週末，但「這些（後續優化）想法現在大概都已經被涵蓋了」——意思是 AI + 大批人類數學家後續快速跟進，把這個構造的細節給做完了。
這形成一個很乾淨的故事弧：
| 角色 | 做的事 |
|---|---|
| Erdős（1946） | 提出 conjecture，給下界 |
| Spencer/Szemerédi/Trotter（1984） | 給最佳已知上界 n^(4/3) |
| GPT-5.5 Pro（2026/5/20） | 找到反例的「框架方向」（δ 極小但 > 0） |
| Will Sawin（2026/5 月底） | 沿著 AI 的方向把 δ 推到 0.014 |
| MathOverflow + ChatGPT 5.5 Pro 接力（5 月下旬） | δ 持續推進，目前最佳 ≈ 0.0346 |
| Anthropic 系統（後續） | 自主獨立反證同一 conjecture（強形式） |
| 9 人共同論文 | 解釋、消化、推廣 |
| 目前狀態 | conjecture 被反證，但確切上下界仍有巨大未知 |
這不是「AI 取代數學家」，是「AI 把第一條岔路找出來，數學家走得比 AI 還深」。Litt 那句最有意思：
「我猜這次它幸運地找到一個——專家試過但漏掉相對簡單路徑的——案例。但我猜這種案例其實不那麼罕見，我們可能很快就會發現。」
如果他的猜測對，接下來幾年數學界會像被翻書——一堆「大家都覺得對」的 conjecture 會被類似手法戳破。
更大的脈絡：AI 寫得了論文，但需要人類寫得了問題
這件事不孤立。把脈絡拉開看：
- 2024 IMO：DeepMind 的 AlphaProof + AlphaGeometry 2 拿到 silver medal（28/42）。但要先把題目「翻譯」成 Lean 形式語言，跑 2-3 天。
- 2025 IMO：Gemini Deep Think 直接用自然語言端到端 ，在 4.5 小時內拿到 gold（35/42）。
- 2026/5/20：GPT-5.5 Pro 解 Erdős 真實研究等級問題。
中間夾著 FrontierMath benchmark ——300+ 道專家級題目，Tier 4 是研究等級。 2025 中 o4-mini 在 Tier 4 才 6.3% ，多數頂級模型 0%。Tim Gowers 與 Terence Tao 共同預測：「會抵抗 AI 好幾年。」
不過——2026/5/11 Epoch AI 自己宣告，AI 輔助複查發現 FrontierMath 約 1/3 題目有「fatal errors」 。benchmark 本身正在被 AI 修正。
DeepMind 也沒閒著：AlphaEvolve 用演化式搜尋設計演算法、Co-Scientist 跑多 agent 科研協作。Gowers 在 companion paper 裡那句點得很好：
「數學的知識邊界是很尖銳的（spiky），未來幾個月幾年，會有更多長存的 open problem 被 AI 用『意外連結』解掉。AI 正幫我們更完整地探索我們花了好幾世紀建起來的這座數學大教堂——還有什麼沒被看見的奇景？」
同類的「AI 找到人類漏掉的」也發生在其他領域。Code with Claude 2026 keynote 提到 Claude Mythos 在 OpenBSD source tree 找出 27 年前的漏洞 ——同樣是「在大家都看過的東西裡找到沒看見的路徑」。
這個型態的價值，比「AI 拿 IMO 金牌」更深。
IMO 題目有標準答案；研究問題沒有。AI 開始在「沒答案的問題上找方向」，這才是質變。
工程師可以怎麼想這件事
不寫數學論文的人也應該關心這件事，因為同一個機制在 codebase、在系統設計裡都會發生。
「人類試過但漏掉相對簡單路徑」——這句話換到工程語境就是：
- 你的舊系統裡有沒有「大家都以為要這樣」但其實有更乾淨解法的地方？
- 你看了 N 年的 codebase 有沒有「沒人質疑過的 invariant」？
- 你的 benchmark / monitoring 有沒有「假設大家都對」的盲區？
GPT-5.5 Pro 解 Erdős 不是因為它比 Erdős 聰明，是因為它沒有 Erdős 的 prior——它不被「應該長這樣」的直覺綁住，就把代數數論的工具搬過來試。
寫 code 的工程師如果不開始用同樣的 mindset 配對 AI，那是浪費。我自己（硬韌體背景）最近開始把 AI 用在「拿出大家公認的 design pattern 重新審視」——不一定每次有收穫，但已經幾次找到老設計裡的盲點。
Daniel Litt 那句該背起來：
「人類試過但漏掉相對簡單路徑的案例，可能不那麼罕見。」
放到你的工作場景，這句話是禮物。
寫在最後
5/20 那張看起來樸素的點圖，背後不只是一次 AI 勝利。它是個訊號：AI 第一次在沒人指路的問題上找到方向，方向正確到讓人類數學家願意花幾天接力把細節做完，並聯名寫一篇 companion paper 解釋這件事。
Will Sawin 把 δ 從 10^-38 推到 0.014 也是訊號——人類的角色沒消失，但形狀變了。
從「想出第一條路」變成「走通 AI 指出來的路」。
很多人會問：「下一步呢？」我不知道。但 Gowers 那句「what other unseen wonders are waiting in the wings」是我接下來幾個月會反覆想的事。
你的工作裡，有什麼是「大家都試過但漏掉相對簡單路徑」的？這個問題，比 Erdős 88 年前那道題還難。
延伸閱讀
- OpenAI 官方公告：An OpenAI model has disproved a central conjecture in discrete geometry（2026/5/20）
- arXiv 2605.20695：Remarks on the disproof of the unit distance conjecture（9 位數學家共同論文）
- Nature：AI cracks 80-year-old mathematics challenge — researchers are astonished
- Scientific American：OpenAI announces AI's biggest math breakthrough yet
- Ars Technica：An OpenAI model solved a famous math problem that stumped humans for 80 years
- The Conversation：An AI solution to an 80-year-old problem has shocked mathematicians
- Scott Aaronson：Dispatches from the possibly last days of human relevance
- Gil Kalai：Amazing — Erdős' Unit Distance Problem was Disproved
- The Guardian：OpenAI makes breakthrough on 80-year-old maths problem
- DeepMind：AlphaProof + AlphaGeometry IMO 2024 silver
- DeepMind：Gemini Deep Think IMO 2025 gold
- Epoch AI：FrontierMath benchmark
- Wolfram MathWorld：Erdős Unit Distance Problem
- Terry Tao：Erdős unit distance exponent 紀錄表 — 持續更新的 δ 最佳值列表
- MathOverflow：What is the unit distance exponent? — 群眾外包改進過程
沒有留言:
張貼留言