IXThinker·2026-01-17 23:20

Gemini離線證明代數幾何新定理

Gemini的內部數學模型FullProof在不聯網的情況下，協助數學家證明代數幾何領域一個新定理：零虧格映射到旗簇空間的motivic類等價結論。美國數學學會主席盛讚其證明嚴謹、正確而優雅。

定理在講什麼

這個結論可以通俗理解為：把一堆無缺口的橡皮筋按一定規則套進層層嵌套的盒子，橡皮筋所有擺放方式對應一個空間；新定理證明這個空間可以用「一般線性群加仿射空間」的組合表示，後續研究只需分析這個簡單樣板。