AI 第一次打破數學邊界：OpenAI 推翻 80 年幾何猜想的啟示
AI 第一次打破數學邊界：OpenAI 推翻 80 年幾何猜想的啟示
2026 年 5 月 20 日，OpenAI 宣布了一件令整個數學界震驚的事：他們的一個內部 reasoning model，自主推翻了匈牙利傳奇數學家 Paul Erdős 在 1946 年提出的「平面單位距離猜想」（Planar Unit Distance Problem）——一個懸而未解長達 80 年的核心問題。
這個消息之所以震撼，不只因為問題本身的難度，而在於這次突破的方式：不是人類數學家用 AI 輔助，而是 AI 自主推導出人類從未想到的解法路徑。
一道「簡單」的問題，難了 80 年
Erdős 問題的表述出奇地簡單：在平面上放 n 個點，最多可以有多少對點之間的距離恰好等於 1？
聽起來像中學幾何題，實際上是組合幾何學（combinatorial geometry）的核心難題。幾十年來，最優構造方案是「方格點陣」（square grid），數學家普遍相信這已接近上限，無法再顯著改進。
OpenAI 的 model 打破了這個信念。它發現了一個無限家族的構造方案，透過深度代數數論（algebraic number theory）中的 Golod-Shafarevich 理論與無限類域塔（infinite class field towers），在原有方格構造之上取得了多項式級別的改進——精確來說，實現了 n^(1+δ) 對單位距離，δ 值後來由普林斯頓數學家 Will Sawin 細化為 0.014。
最終的證明長達 125 頁，已由 Fields Medal 得主 Tim Gowers 和普林斯頓數學家 Noga Alon 驗證，被評為「即使由人類獨立完成，也足以發表在頂級數學期刊」。
真正的突破點：跨領域思維的自主湧現
技術細節之外，這件事真正驚人的地方在於推理方式。
AI 並非在離散幾何的現有框架內暴力搜索——它將問題跨越整個數學領域，連接到代數數論這個看似毫不相干的分支，然後用那個框架解決幾何問題。這種「跨域橋接」恰恰是人類數學家最難做到、最需要直覺的部分。
Fields Medal 得主 Tim Gowers 形容這是「AI 數學的里程碑」。數論學家 Arul Shankar 說，模型展示了「生成原創數學思路並將其貫穿完整證明的能力」。
更值得注意的是：這個 model 並非專門為數學設計的系統，沒有針對 Erdős 問題進行特訓，也沒有搜索固定的證明策略庫。它就是 OpenAI 正在開發的下一代通用 reasoning model，在沒有特殊設定的情況下，自主解決了一個 80 年難題。
OpenAI 在 X 上的官方說法是：「這是 AI 首次自主解決數學某一子領域的核心公開問題。」
對 richmindsetzone 讀者的真正啟示：能力邊界在移動
我們平時討論 AI，習慣用「工具」這個框架：AI 可以寫文案、跑代碼、分析報表。這個框架讓人安心——工具有邊界，人在邊界外面主導。
Erdős 問題的突破，讓這個框架開始搖晃。
第一個啟示：「AI 只會重新組合已有知識」的說法需要更新了。
在這次突破之前，最常見的 AI 批評是：「它只是在訓練數據裡找答案」。但把離散幾何問題連結到代數數論的無限類域塔，這條路徑在人類文獻裡根本不存在——AI 是在推導，不是在背誦。原創性，出現了。
第二個啟示：科研加速的真正意義，是壓縮時間成本。
80 年，這是人類在這道題上投入的時間。AI 用多久？OpenAI 沒有公布，但其他案例（如 42 年的組合數學難題在 12 小時內被解決）給出了方向。如果 AI 能將數十年的科研週期壓縮成數天甚至數小時，那些依賴知識護城河的行業——法律、醫學、金融研究、材料科學——的競爭格局將會從根本上改變。
第三個啟示：「通用 reasoning 模型」是真正的賭注。
這次不是 AlphaFold（生物學專用）、不是 AlphaStar（遊戲專用），而是一個通用推理模型解決了跨域的數學難題。這意味著同一個模型，理論上可以跨行業解決問題。OpenAI 的技術路線——scaling reasoning，而非垂直特訓——的勝負正在逐漸明朗。
我們應該怎麼看這件事？
不需要恐慌，但也不要漠然。
這次突破的意義，更接近 1997 年 Deep Blue 擊敗卡斯帕羅夫，但層次更高——因為國際象棋是封閉問題，而數學是開放問題，有無窮多個未解之謎等待著被攻破。
對於關注 AI 能力邊界的人來說，有一個實用的框架可以參考：把任何「需要跨領域洞見+長鏈推理」的工作，都視為正在進入 AI 的射程範圍。
這不是說要放棄深度，而是說——你需要移動到 AI 尚未覆蓋的位置：更靠近決策、更靠近情境判斷、更靠近人與人之間的信任關係。
Erdős 在 1946 年問了一個問題，等了 80 年。等待他的，是一個機器。
下一道 80 年難題，或許不用等 80 年了。
延伸閱讀：