困擾學界80年數學難題AI破解「平面單位距離猜想」

美國人工智能公司 OpenAI 近日扔出一枚重磅炸彈——其最新 AI 模型竟然攻克了困擾學界長達 80 年的「平面單位距離猜想」。這項成果有多震撼？要知道，幾年前 AI 連基本的加減運算都經常出錯，如今卻能獨立解決高等幾何理論，學界怎能不沸騰。

先來看看這個猜想究竟是什麼。1946 年，傳奇數學家艾狄胥提出了這個離散幾何領域的核心問題，簡單說就是：如果你在一張紙上畫 n 個點，有多少對點之間的距離恰好為 1 個單位？艾狄胥本人猜測，把這些點排成整齊的網格會得到最佳答案，沒有其他排列方式能超過它。80 年來，學術界也普遍相信，「正方形網格」就是終極解法。然而 Open AI 的通用推理模型卻不走尋常路——它自主推導出了一套徹底打破傳統網格思維的反證，突破性地運用了高階的「代數數論」，在平面上構建出一種全新的點陣排列方式，直接推翻了艾狄胥的原始猜想。

頂尖數學家驗證推理有效

消息傳出後，多位非 OpenAI 的國際頂尖數學家第一時間驗證了推理的有效性。這讓不少原本對 AI 能否真正改變數學持懷疑態度的學者大跌眼鏡。普林斯頓大學教授阿隆直言，AI 做到了人類嘗試過卻失敗的事；多倫多大學助理教授利特則稱這項成果是「令人興奮的獨立研究」。數學界最高榮譽之一菲爾茲獎得主高爾斯給出了極高評價：「如果這份推理是由人類撰寫並提交到《數學年刊》，而我是審稿人需要快速給出意見，我會毫不猶豫推薦接收。」他甚至補充道，人類在解決數學問題方面將很難與 AI 競爭。曾對 OpenAI 早期數學成果多有批評的數學家布魯姆，在仔細審查後也承認：AI 具備超越人類的毅力，走完了那些因為太耗時而被我們放棄的路徑。