![]()
來源:量子位 | 公眾號 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.