31岁美女乌克兰女数学家23页证明，一周内连解两道400年难题！
400年，全球最聪明的脑袋，只搞定了3个维度。
2016年3月14日，一个31岁的乌克兰女人把一份23页的论文传到网上，解决了第8维。
当晚，哈佛数学家亨利·科恩发了一封邮件：能不能顺便把第24维也搞了？
一周后，搞定了。
她叫玛丽娜·维亚佐夫斯卡。

先说说这道题有多难。
1611年，开普勒提出一个猜想：把橘子堆成金字塔形——就是水果店老板的摆法——就是三维空间里最密的球体排列方式。听起来像废话对吧？但要用数学严格证明"不可能有更密的排列"，整整花了387年。
1998年，美国数学家托马斯·黑尔斯终于证明了三维情况，用了250页论文外加几个G的计算机辅助运算，搞得评审委员会审了4年才勉强点头，说"我们99%确定它是对的"。

三个维度就这么费劲，那更高维度呢？数学家心里清楚：8维和24维有两个结构极其完美的排列——E8格和利奇格。所有数值证据都指向它们就是最优解。但证明？谁都不知道怎么下手。
关键卡在一个东西上：需要构造一个"魔法函数"，能精确算出球体密度的理论上限。十几年来，大家都知道需要这个函数，但没人找得到。
就在这片数学荒原上，一个来自基辅的姑娘独自走了进来。

维亚佐夫斯卡1984年生于基辅。父亲是安东诺夫飞机工厂的化学师，母亲是工程师。她从小进了基辅145理科实验中学，遇到一位改变她命运的数学老师——安德里·克尼亚祖克。这哥们儿本来是职业数学研究者，后来转行去中学教书，专门给天赋异禀的孩子开小灶。
维亚佐夫斯卡2005年在基辅国立大学拿到本科学位，2007年去德国凯泽斯劳滕大学读硕士，接着在波恩大学跟着数论大师唐·扎吉尔读博。

拿到博士后，她来到柏林洪堡大学做博士后研究。就是在这里，在这座城市，她独自一人花了两年时间，找到了那个所有人都找不到的"魔法函数"。
这个函数来自模形式理论——一种在数学里被称为"瑞士军刀"的工具。一旦找对了模形式，海量信息就像开闸的洪水一样涌出来。普林斯顿的数学家彼得·萨纳克后来评价这个证明，只用了六个字："惊人的简洁，如同一切伟大之物。"

23页。三维证明用了250页加计算机暴力运算，八维只用了23页纯数学推导。
论文上传当晚，科恩就给她发了邮件，问能不能用同样方法攻克24维的利奇格。维亚佐夫斯卡拉上科恩和另外三位数学家组队，一周后，24维搞定。17页。
一周之内，连破两道世纪难题。数学界直接炸了。

后来有人问她是怎么找到那个函数的。她的回答很实在：试了无数个不行的，最后一个行了。

2022年，菲尔兹奖颁给了维亚佐夫斯卡。她是历史上第二位获得这个"数学界诺贝尔奖"的女性。颁奖典礼原定在圣彼得堡举行，普京是受邀嘉宾之一。但俄罗斯入侵乌克兰后，典礼搬到了赫尔辛基。
维亚佐夫斯卡在采访中说了一句："这场危机制造了巨大的人道主义灾难，我感激所有支持乌克兰的人。"

故事还没完。2024年，维亚佐夫斯卡在瑞士洛桑偶遇一个本科三年级学生西达尔斯·哈里哈伦，两人一拍即合，启动了一个项目：用Lean证明助手把她的论文"形式化"——就是翻译成计算机能逐行检验的语言。
2026年2月，AI模型"高斯"介入，8维证明形式化完成。紧接着，高斯又用两周时间，把24维的20万行代码也搞定了——而这次没有任何人类提供的蓝图。
这是本世纪第一个被计算机形式化验证的菲尔兹奖成果。

但这里有个让数学界不太舒服的插曲：AI公司Math, Inc.在合作过程中突然"闭门造车"，把计算资源砸上去跑完了形式化——这种"突击式证明"让部分数学家感到不安。毕竟，维亚佐夫斯卡的证明从来没人怀疑过正确性，形式化的意义更多在于推动数学与AI的合作范式。

400年的难题，23页的证明，一周的连破，一个来自战火中国家的女人。
数学不认识护照，不在乎性别，不看你的出身。它只认一样东西——你有没有找到那个"魔法函数"。
维亚佐夫斯卡找到了。
【主要信源】
"Sphere Packing Solved in Higher Dimensions"，Quanta Magazine，2016年3月30日
"The sphere packing problem in dimension 8"，Annals of Mathematics Vol.185(3)，2017年
"Prof. Viazovska's proofs of sphere packing formalized with AI"，EPFL官网，2026年3月11日