闻乐 发自 凹非寺 量子位 | 公众号 QbitAI Gemini又偷偷藏不住了。 内部数学版学霸模型 FullProof 全程不联网，直接帮数学家证明了代数几何领域的一个新定理—— Gemini的证明严谨、正确、优雅……这是我本人也会引以为傲的见解。 那咱就来看看怎么严谨、怎么优雅的？？ Gemini埋下关键思路伏笔 0亏格映射到旗簇空间的motivic类等价结论。 好好好，咱先来简单理解一下，就是把一堆无缺口的橡皮筋按一定的规则套进层层嵌套的盒子里，橡皮筋所有的摆放方式就对应了一个空间； 新结论证明这个空间可以用「一般线性群+仿射空间」的组合来表示，后续研究相关问题直接分析这个简单的样板就行。 在这项研究中，Gemini埋下关键思路的伏笔，甚至能独立给出反例，精彩表现直接让美国数学学会主席都点赞： 这篇论文聚焦的核心问题，是确定0亏格映射到旗簇空间的motivic类等价形式。 旗簇空间 是一种由不同维度子空间层层嵌套构成的几何结构，类似大盒套中盒套小盒的收纳系统； 0亏格映射 对应把无洞的光滑曲线（像橡皮筋）放进这个嵌套空间的所有摆放方式； 格罗滕迪克群 代数几何里一个用来给几何空间分类归档的数学工具，专 ...