31歲烏克蘭女數學家23頁證明，一周內連解兩大世紀謎題！

一個困擾數學界超過400年的問題，被一個獨自在柏林工作的31歲烏克蘭女數學家解決了。

她叫瑪麗娜·維亞佐夫斯卡，2016年，她將一份僅23頁的證明上傳至學術預印本平臺，隨即震動了整個數學世界。2026年3月，更新的進展隨之而來：由維亞佐夫斯卡參與的團隊借助人工智能輔助工具，完成了她那份E8證明的形式化驗證，將其轉化為計算機可以逐行核查的嚴格語言。

這個問題聽起來并不復雜：把一堆球盡可能緊密地堆在一起，最高效的方式是什么？

真正難的是把這個問題推進到更高的維度。

在四維、五維、六維、七維空間里，數學家們幾乎一無所獲。麻省理工學院的亨利·科恩在維亞佐夫斯卡突破之后說了一句話，讓人印象深刻："這是我們知識體系里的一個可怕的空白，對人類而言幾乎是一種恥辱。"

八維空間是所有高維球堆問題中最特別的一個。數學家們早就猜測，答案藏在一個叫E8格的結構里，這是一種只存在于八維空間中、具有極端對稱性的數學構型?？贫骱蛿祵W家諾姆·艾爾克斯甚至算出E8格距離理論最優解的誤差不超過十億分之一，但那個最終的證明，誰也給不出來。

維亞佐夫斯卡的突破來自一個看似風馬牛不相及的方向：模形式。

這是一類具有高度對稱性的數學函數，通常棲居在數論的領域，與幾何問題幾乎沒有明顯的交集。維亞佐夫斯卡在波恩馬克斯·普朗克數學研究所攻讀博士期間，師從傳奇數學家唐·扎吉爾，深入研究了這套工具。

她利用傅里葉分析和模形式，構造出一個"魔函數"，這個函數可以精確地充當球堆密度的數學上界，也就是一個無法突破的理論天花板。當她把這個上界與E8格的實際密度一比對，兩者完美吻合，絲毫不差。

在數學里，這種精確吻合極為罕見。打一個比方，就像你在黑暗中摸索著配了一把鑰匙，伸手一插，鎖開了。

這份證明的力量，還在于它揭示了數學不同領域之間隱藏的深層聯系，那些看似在象牙塔里自顧自發展的純粹理論，突然在一個全然不同的問題上匯聚，給出了一把萬能鑰匙。

2022年，維亞佐夫斯卡被授予菲爾茲獎，這是數學界公認的最高榮譽，通常被稱為"數學界的諾貝爾獎"，且限定頒給40歲以下的數學家。她是這個獎項86年歷史上第二位獲獎的女性，第一位是2014年的伊朗數學家瑪利亞姆·米爾扎哈尼。

頒獎消息公布時，俄烏戰爭全面爆發剛剛數周。維亞佐夫斯卡在采訪中語氣平靜但字字有力："暴君無法阻止我們做數學。這至少是他們奪不走的東西。"

很容易把這一切當作美麗但遙遠的智識游戲，以為它與現實生活毫無關聯。但事實并非如此。

2026年3月，更新的進展隨之而來：由維亞佐夫斯卡參與的團隊借助人工智能輔助工具，完成了她那份E8證明的形式化驗證，將其轉化為計算機可以逐行核查的嚴格語言。

這是一個罕見的時刻，人類的數學直覺與機器的形式驗證能力在這里相遇，共同為一座數學里程碑蓋上了最終的印章。

維亞佐夫斯卡1984年生于基輔，從小在數學競賽中嶄露頭角，輾轉求學于烏克蘭、德國，最終在瑞士洛桑聯邦理工學院成為數論講席教授。據說，她兒子邁克爾在幼兒園時曾是每次被最后一個接走的孩子，因為她忙于攻克E8證明。當兒子后來聽說菲爾茲獎的消息，他說了一句話："我現在終于明白她為什么那么拼命了。"

400年前開普勒提出的問題，最終沒有敗給超級計算機，沒有敗給浩如煙海的窮舉計算，而是敗給了一個女人手中那把精巧的鑰匙，那是用數論打造的，來自一個完全不同的數學世界。