一个困扰数学界超过400年的问题，被一个独自在柏林工作的31岁乌克兰女数学家解决了。
她叫玛丽娜·维亚佐夫斯卡，2016年，她将一份仅23页的证明上传至学术预印本平台，随即震动了整个数学世界。2026年3月，更新的进展随之而来：由维亚佐夫斯卡参与的团队借助人工智能辅助工具，完成了她那份E8证明的形式化验证，将其转化为计算机可以逐行核查的严格语言。
这个问题听起来并不复杂：把一堆球尽可能紧密地堆在一起，最高效的方式是什么？
真正难的是把这个问题推进到更高的维度。
在四维、五维、六维、七维空间里，数学家们几乎一无所获。麻省理工学院的亨利·科恩在维亚佐夫斯卡突破之后说了一句话，让人印象深刻："这是我们知识体系里的一个可怕的空白，对人类而言几乎是一种耻辱。"
八维空间是所有高维球堆问题中最特别的一个。数学家们早就猜测，答案藏在一个叫E8格的结构里，这是一种只存在于八维空间中、具有极端对称性的数学构型。科恩和数学家诺姆·艾尔克斯甚至算出E8格距离理论最优解的误差不超过十亿分之一，但那个最终的证明，谁也给不出来。
维亚佐夫斯卡的突破来自一个看似风马牛不相及的方向：模形式。
这是一类具有高度对称性的数学函数，通常栖居在数论的领域，与几何问题几乎没有明显的交集。维亚佐夫斯卡在波恩马克斯·普朗克数学研究所攻读博士期间，师从传奇数学家唐·扎吉尔，深入研究了这套工具。
她利用傅里叶分析和模形式，构造出一个"魔函数"，这个函数可以精确地充当球堆密度的数学上界，也就是一个无法突破的理论天花板。当她把这个上界与E8格的实际密度一比对，两者完美吻合，丝毫不差。
在数学里，这种精确吻合极为罕见。打一个比方，就像你在黑暗中摸索着配了一把钥匙，伸手一插，锁开了。
这份证明的力量，还在于它揭示了数学不同领域之间隐藏的深层联系，那些看似在象牙塔里自顾自发展的纯粹理论，突然在一个全然不同的问题上汇聚，给出了一把万能钥匙。
2022年，维亚佐夫斯卡被授予菲尔兹奖，这是数学界公认的最高荣誉，通常被称为"数学界的诺贝尔奖"，且限定颁给40岁以下的数学家。她是这个奖项86年历史上第二位获奖的女性，第一位是2014年的伊朗数学家玛利亚姆·米尔扎哈尼。
颁奖消息公布时，俄乌战争全面爆发刚刚数周。维亚佐夫斯卡在采访中语气平静但字字有力："暴君无法阻止我们做数学。这至少是他们夺不走的东西。"
很容易把这一切当作美丽但遥远的智识游戏，以为它与现实生活毫无关联。但事实并非如此。
2026年3月，更新的进展随之而来：由维亚佐夫斯卡参与的团队借助人工智能辅助工具，完成了她那份E8证明的形式化验证，将其转化为计算机可以逐行核查的严格语言。
这是一个罕见的时刻，人类的数学直觉与机器的形式验证能力在这里相遇，共同为一座数学里程碑盖上了最终的印章。
维亚佐夫斯卡1984年生于基辅，从小在数学竞赛中崭露头角，辗转求学于乌克兰、德国，最终在瑞士洛桑联邦理工学院成为数论讲席教授。据说，她儿子迈克尔在幼儿园时曾是每次被最后一个接走的孩子，因为她忙于攻克E8证明。当儿子后来听说菲尔兹奖的消息，他说了一句话："我现在终于明白她为什么那么拼命了。"
400年前开普勒提出的问题，最终没有败给超级计算机，没有败给浩如烟海的穷举计算，而是败给了一个女人手中那把精巧的钥匙，那是用数论打造的，来自一个完全不同的数学世界。
热门跟贴