AI破解純數學兩大難題：2026年里程碑式突破，機器正式成為數學發現者

2026年，人工智能喺純數學領域跨越咗一條歷史性嘅分界線。AI系統首次獨立為困擾數學界幾十年嘅開放問題帶嚟重大成果。最矚目嘅兩個突破包括：OpenAI喺5月推翻咗艾狄胥單位距離猜想（Erdős unit-distance conjecture），以及Anthropic嘅Claude Fable 5喺7月為雅可比猜想（Jacobian conjecture）搵到反例。呢啲唔係漸進嘅小進步，而係範式轉移——預示住人類與AI合作嘅數學研究新時代已經來臨。

兩項重大突破

OpenAI推翻艾狄胥單位距離猜想（2026年5月）

2026年5月20日，OpenAI宣布其一個內部通用推理模型成功為艾狄胥單位距離猜想搵到反例，呢個係數學家Paul Erdős喺1946年提出嘅問題 。呢個猜想探討嘅係：平面上n個點之間，相距剛好一個單位長度嘅點對最多可以有幾多個？80年以嚟，數學家一直認為最理想嘅排列方式大概係近似正方形嘅格點排列 。

OpenAI模型證明咗呢個諗法係錯嘅。佢生成咗一個無限族嘅點嘅構造方法，比起格點排列有顯著嘅多項式改進——證明了對於無限多個n，單位距離點對嘅數量增長速度超過n^(1+δ)，其中δ係某個固定嘅正數 。呢個證明運用到深奧嘅代數數論工具，包括Golod-Shafarevich理論同無限類域塔——之前冇人諗過呢啲工具可以用喺呢個幾何問題上 。

結果由一組外部數學家驗證，其中包括Thomas Bloom——佢正正就係之前公開指出OpenAI另一個錯誤聲稱嘅同一研究者 。一篇由人類消化整理嘅配套論文已經發表喺arXiv 。普林斯頓大學數學家Will Sawin好快將常數精煉，顯示指數至少可以達到n^1.014 。菲爾茲獎得主Tim Gowers係九位參與驗證嘅外部數學家之一 。

Anthropic嘅Claude Fable 5為雅可比猜想搵到反例（2026年7月）

2026年7月19日，Anthropic嘅數學家Levent Alpöge喺X（前Twitter）上宣布，佢利用Anthropic嘅Claude Fable 5模型為雅可比猜想搵到反例。呢個係代數幾何領域一個有87年歷史嘅開放問題，由Ott-Heinrich Keller喺1939年首次提出 。雅可比猜想被菲爾茲獎得主Stephen Smale喺1998年列入「下世紀嘅問題」清單，排第16位 。題目係：如果一個從Cⁿ到Cⁿ嘅多項式映射嘅雅可比行列式係一個非零常數，咁呢個映射係咪必然係全局可逆嘅？

反例係一個非常簡潔嘅216個字符嘅多項式映射，由C³映射到C³，其雅可比行列式恆等於-2，但佢將三個不同嘅輸入三元組映射到同一個輸出，從而否定咗全局可逆性 。Alpöge貼文後幾個鐘頭內，世界各地嘅數學家已獨立驗證咗結果，而喺24小時內更完成咗喺Lean證明助手嘅形式化驗證 。

知名數學家包括陶哲軒（Terence Tao）同Timothy Gowers都讚揚咗呢個成果 。陶哲軒仲發表咗一篇關於呢個反例嘅幾何分析 。二維版本嘅雅可比猜想仍然未解決 。

呢啲結果對數學未來意味住乜嘢

AI而家可以產生真正新穎嘅證明

兩個突破都涉及深層嘅概念飛躍，而唔單止係運算輔助。單位距離反例要求AI將代數數論同組合幾何連接起嚟——呢個係之前冇人類數學家做到嘅 。雅可比反例就需要構建一個具有特定代數性質嘅微妙多項式映射 。

人類與AI夥伴關係模式好有威力

呢啲成果指向一個未來：AI扮演創造性合作者嘅角色，而唔係替代品。喺雅可比嘅案例中，一位熟練嘅數學家指導AI，並識別出佢輸出嘅重要性 。喺OpenAI嘅案例中，模型運作得更自主，但依然需要人類驗證 。呢種夥伴關係模式容許AI探索人類冇辦法有效率噉搜尋嘅巨大空間，而人類就提供直覺、判斷力同驗證。

進展速度好快

OpenAI其後喺2026年8月宣布，同一類內部推理模型已經喺數學同理論計算機科學嘅10個重大問題上取得進展，涵蓋高維幾何、編碼理論、群論、算子代數、量子複雜性、格密碼學同極值組合學等領域 。有觀察者形容呢個係由AI驅動嘅數學「新黃金時代」 。

重要嘅保留仍然存在

雅可比反例只適用於三維或以上——原始猜想喺二維仍然未解決 。部分結果仲未經過傳統渠道嘅完整同行評審，亦唔係所有聲稱都已經完全出版 。但大方向已經好清楚：AI已經由數學助手跨越到數學發現者，佢喺研究入面嘅角色相信會快速擴展。

更大嘅圖畫

呢啲2026年嘅突破係建基於AI數學能力嘅快速進步。2025年7月，AI模型首次喺國際數學奧林匹克（IMO）解決咗六題入面嘅五題 。到2026年初，模型已經達到IMO嘅金牌標準 。而家，AI正喺研究前沿產生成果——解決咗足以定義整個職業生涯嘅問題。

正如數學家陶哲軒所講，雅可比結果係人類與AI合作嘅一個里程碑 。模型唔係獨自完成嘅，但呢種夥伴關係產生咗一個人類或機器單獨都冇辦法達到嘅成果。呢個模式——由人類直覺引導、AI探索、再由形式化證明助手驗證——可能會定義數學發現嘅未來。