《ZT》
陶哲軒預言成真？AI 剛剛「獨自」解開了 30 年前的數學難題
還記得前幾天寫過艾狄胥問題 367 號 (Erdos Problem #367) 的故事嗎？那時是一場精彩的「人機接力」：人類出直覺，Gemini 驗證，最後由 Harmonic 的 AI 模型「Aristotle」完成形式化的最後一哩路。
沒想到才過幾天，進化速度又快了一階，稍早，Harmonic 宣布，Aristotle 這次 「獨自」（all by itself） 證明了艾狄胥問題第 124 號（Erdos Problem #124）。
這是一個懸宕了近 30 年的數論猜想。
更重要的是，Aristotle 這次不只是幫忙翻譯程式碼，而是直接攻克證明，並用 Lean 4 語言完成了「形式化驗證」。這意味著：它寫出的證明是 100% 邏輯正確的，沒有模糊空間，沒有 AI 幻覺。
Robinhood 的 CEO Vlad Tenev 在推特上興奮地轉發了這個消息，並用了一個很潮的詞形容：「Vibe proving is here.」（氛圍證明時代來臨了）。
這完全印證了陶哲軒的觀點：未來的數學研究，人類負責提供 "Vibe"（直覺與猜想），而 AI 負責處理那些繁瑣、艱深且需要絕對嚴謹的證明過程。
雖然數學界對於它解開的是否為「最難版本」還有一些討論，但這已經是一個巨大的里程碑。從 #367 的輔助角色，到 #124 的獨挑大樑，AI 在數學領域的進化速度令人咋舌。
前文 "數學接力：陶哲軒、直覺與 AI 的協作展示" 以及 124 號問題的連結在留言裡
1. 數學接力：陶哲軒、直覺與 AI 的協作展示 https://www.anduril.tw/erdos-367/
2. https://erdosproblems.com/forum/thread/124#post-1892
