OpenAI 的模型上週默默推翻了一道數學家困了 80 年的題目
OpenAI 的模型上週默默推翻了一道數學家困了 80 年的題目
OpenAI 有個內部的 AI 模型，自己解掉了一道數學家卡了 80 年的題目。沒有人引導它，沒有人給提示，就一個題目丟進去，它自己跑出了一份 125 頁的完整證明。
這道題我覺得值得稍微解釋一下，因為它準確說明了這件事為什麼不一樣。題目叫「平面單位距離問題」。你在白紙上隨意打一堆點，然後問：最多可以有多少對點，彼此距離剛好等於 1單位距離。1946 年，數學家 Erdős 猜測，把點排成整齊的方格就是最好的策略。這個猜測撐了 80 年，全世界最厲害的數學家打不破它。
然後一個 AI 上週把它打破了。不過最讓我意外的不是「AI 解出來了」這件事。是它走的路。
80 年來所有人攻這道幾何題，都從幾何的角度下手。這個 AI 想了一下，轉頭跑進了一個完全不相關的數學領域，用了一個沒人想到要對這道題用的工具，把兩個幾乎沒有交集的理論接在一起，然後就出來了。普林斯頓的數學家說，那個工具大家都認識，「但幾乎沒人預料它能對幾何問題產生如此直接的影響。」菲爾茲獎得主 Tim Gowers 看完說這是「AI 數學的重要里程碑」。
我想說的不是「AI 好強」，我想說的是：它開始走人類沒走過的路了。以前 AI 厲害的那些事，寫稿、翻譯、考試，共同點是都有標準答案——AI 的工作是在已知的地圖裡找路。這次這道題沒有地圖，連答案長什麼樣子都沒人知道。AI 跑進一個沒有路的地方，然後把東西找出來。
這是不同維度的事。
要補充一下：這是 OpenAI 的內部研究模型，不是你現在用的 ChatGPT，差距還很大。還有一點，數學算是最好驗證的——AI 給的每一步推導，人類都可以自己核實。換成藥物研發就不一樣了，AI 說「我找到一個新化合物」，你沒辦法光看論文就確認，得花好幾年做實驗。數學的突破可以快速被確認，別的領域沒這個條件。
不過如果這種「跑進沒有地圖的地方把東西找出來」的能力，之後真的開始發生在藥物或材料科學上，我不知道那會長什麼樣子。
你覺得呢？
＿＿＿
當 AI 正在改變學習與工作的方式，年輕人需要的不只是理解趨勢，更需要實戰練習。
AI Monster 未來生存挑戰賽，邀請國高中職與大專學生組隊參加，在真實任務中累積 AI 應用力與未來競爭力。
👉 了解更多 AI Monster 未來生存挑戰賽
資料來源：