北京
來源：量子位 | 公眾號 QbitAI
聞樂 發自 凹非寺
Gemini又偷偷藏不住了。
內部數學版學霸模型FullProof全程不聯網，直接幫數學家證明了代數幾何領域的一個新定理——
0虧格映射到旗簇空間的motivic類等價結論。
好好好，咱先來簡單理解一下，就是把一堆無缺口的橡皮筋按一定的規則套進層層嵌套的盒子里，橡皮筋所有的擺放方式就對應了一個空間；
新結論證明這個空間可以用「一般線性群+仿射空間」的組合來表示，后續研究相關問題直接分析這個簡單的樣板就行。
在這項研究中，Gemini埋下關鍵思路的伏筆，甚至能獨立給出反例，精彩表現直接讓美國數學學會主席都點贊：
Gemini的證明嚴謹、正確、優雅……這是我本人也會引以為傲的見解。
那咱就來看看怎么嚴謹、怎么優雅的？？
Gemini埋下關鍵思路伏筆
這篇論文聚焦的核心問題，是確定0虧格映射到旗簇空間的motivic類等價形式。
- 旗簇空間
是一種由不同維度子空間層層嵌套構成的幾何結構，類似大盒套中盒套小盒的收納系統；
- 0虧格映射
對應把無洞的光滑曲線（像橡皮筋）放進這個嵌套空間的所有擺放方式；
- 格羅滕迪克群
代數幾何里一個用來給幾何空間分類歸檔的數學工具，專門解決“復雜空間能不能等價成簡單空間”的問題；
- motivic類
就是代數幾何里，給各類幾何空間在格羅滕迪克群里貼的身份標簽。
數學家想要知道的是，這些復雜的擺放方式集合，能否在格羅滕迪克群里，找到一個結構簡單且和這個集合性質完全等價的替身。
數學家采用分次纖維化迭代的思路推進證明，這個關鍵思路正是Gemini在推導過程中暗示的。
研究人員先搭建旗簇空間的部分旗塔結構，定義對應的投影映射，把原本復雜的映射問題拆解成一層一層的纖維求解問題，證明每一層的纖維都和帶基點的無處零截面空間是同構的；
接著計算這類截面空間在格羅滕迪克群里的等價類，再基于motivic平凡纖維化的性質，得出結論，這個等價類的表達式只和向量叢的秩與次數有關，和向量叢的具體分裂類型沒有關系。
最終證明，當代表空間層級特征的數值β滿足“嚴格單調”條件時，
這個復雜集合的motivic類，恰好等價于“一般線性
群”與“仿射空間”的組合。
這就為后續研究提供了極簡的分析模板，也搭建起代數雙重環空間與拓撲雙重環空間之間的聯系橋梁。
接下來說說Gemini的功勞。
研究初期，數學家先提出了一個關于有限域點計數的弱猜想，還將這個核心難題拆解成從易到難的階梯式子問題，比如先讓AI解決這類具體案例。
基于Gemini打造的專用數學系統FullProof，迅速給出了這些特殊案例的完整證明。
推導過程圍繞多項式三元組的互素性、相交對條件展開，結合莫比烏斯反演、zeta函數等工具完成計數，邏輯非常嚴謹。
還隱含了纖維類獨立性的關鍵思路，比如證明中指出的選擇數量與的分裂類型無關，這也就是關鍵思路的伏筆。
FullProof輸出的多項式三元組推導手稿
當數學家提出“該結論能否推廣到同倫等價場景”的疑問時，FullProof獨立給出了有效的反例。
比如論文中提到的的情形，證明不具備的有理同倫型，明確了定理不能直接拓展到同倫等價的范疇。
專用數學學霸
這次用到的Gemini數學版（內部叫FullProof），特別擅長攻克motivic類這種高階抽象計算難題。
它的工作方式是先從最小的特殊情況入手，先搭邏輯鏈，再推結論，在數學推理上比普通AI嚴謹得多。
重點來了，完成這些推導全程不用聯網，完全靠模型自己訓練時攢下的數學知識，現場腦補出全新的證明思路。
作者們特意對比了現有文獻，發現FullProof的輸出跟已發表的東西沒有明顯重合，基本確定原創。
對比之前數學家們用過的Macaulay2工具，Gemini明顯更厲害也更快。
以前Macaulay2只能做數值驗證，而Gemini能給出可直接復用的邏輯框架，大幅縮短了研究周期。
但是話說回來，Gemini目前還沒法獨立做到從特殊案例推廣到通用結論這一步。
客觀上要依賴數學家搭建框架、提煉策略。
不過還是想知道，Gemini藏的這個數學學霸啥時候公開呢～
論文地址：https://arxiv.org/pdf/2601.07222
參考鏈接：https://x.com/A_G_I_Joe/status/2011213692617285729
閱讀最新前沿科技趨勢報告，請訪問歐米伽研究所的“未來知識庫”
https://wx.zsxq.com/group/454854145828
未來知識庫是“ 歐米伽 未來研究所”建立的在線知識庫平臺，收藏的資料范圍包括人工智能、腦科學、互聯網、超級智能，數智大腦、能源、軍事、經濟、人類風險等等領域的前沿進展與未來趨勢。目前擁有超過8000篇重要資料。每周更新不少于100篇世界范圍最新研究資料。 歡迎掃描二維碼或訪問https://wx.zsxq.com/group/454854145828進入。
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
