一個困擾數學界超過400年的問題，被一個獨自在柏林工作的31歲烏克蘭女數學家解決了。
她叫瑪麗娜·維亞佐夫斯卡，2016年，她將一份僅23頁的證明上傳至學術預印本平台，隨即震動了整個數學世界。 2026年3月，更新的進展隨之而來：由維亞佐夫斯卡參與的團隊借助人工智慧輔助工具，完成了她那份E8證明的形式化驗證，將其轉化為電腦可以逐行核查的嚴格語言。
這個問題聽起來並不複雜：把一堆球盡可能緊密地堆在一起，最有效率的方式是什麼？
真正難的是把這個問題推進到更高的維度。
在四維、五維、六維、七維空間裡，數學家幾乎一無所獲。麻省理工學院的亨利·科恩在維亞佐夫斯卡突破之後說了一句話，讓人印象深刻：”這是我們知識體系裡的一個可怕的空白，對人類而言幾乎是一種恥辱。”
八維空間是所有高維度球堆問題中最特別的一個。數學家們早就猜測，答案藏在一個叫E8格的結構裡，這是只存在於八維空間中、具有極端對稱性的數學構型。科恩和數學家諾姆·艾爾克斯甚至算出E8格距離理論最優解的誤差不超過十億分之一，但那個最終的證明，誰也給不出來。
維亞佐夫斯卡的突破來自於一個看似風馬牛不相及的方向：模樣。
這是一類具有高度對稱性的數學函數，通常棲居在數論的領域，與幾何問題幾乎沒有明顯的交集。維亞佐夫斯卡在波昂馬克斯普朗克數學研究所攻讀博士期間，師從傳奇數學家唐·扎吉爾，深入研究了這套工具。
她利用傅立葉分析和模形式，建構出一個”魔函數”，這個函數可以精確地充當球堆密度的數學上界，也就是一個無法突破的理論天花板。當她把這個上界與E8格的實際密度一比對，兩者完美吻合，絲毫不差。
在數學裡，這種精確吻合極為罕見。打一個比方，就像你在黑暗中摸索著配了一把鑰匙，伸手一插，鎖開了。
這份證明的力量，還在於它揭示了數學不同領域之間隱藏的深層聯繫，那些看似在像牙塔里自顧自發展的純粹理論，突然在一個全然不同的問題上匯聚，給出了一把萬能鑰匙。
2022年，維亞佐夫斯卡被授予菲爾茲獎，這是數學界公認的最高榮譽，通常被稱為”數學界的諾貝爾獎”，且限定頒給40歲以下的數學家。她是這個獎項86年歷史上第二位獲獎的女性，第一位是2014年的伊朗數學家瑪利亞姆·米爾扎哈尼。
頒獎消息公佈時，俄烏戰爭全面爆發剛剛數週。維亞佐夫斯卡在採訪中語氣平靜但字字有力：”暴君無法阻止我們做數學。這至少是他們奪走的東西。”
很容易把這一切當作美麗但遙遠的智識遊戲，以為它與現實生活毫無關聯。但事實並非如此。
2026年3月，更新的進展隨之而來：由維亞佐夫斯卡參與的團隊借助人工智慧輔助工具，完成了她那份E8證明的形式化驗證，將其轉化為電腦可以逐行核查的嚴格語言。
這是一個罕見的時刻，人類的數學直覺與機器的形式驗證能力在這裡相遇，共同為一座數學里程碑蓋上了最終的印章。
維亞佐夫斯卡1984年生於基輔，從小在數學競賽中嶄露頭角，輾轉求學於烏克蘭、德國，最後在瑞士洛桑聯邦理工學院成為數論講席教授。據說，她兒子邁克爾在幼兒園時曾是每次被最後一個接走的孩子，因為她忙於攻克E8證明。當兒子後來聽說菲爾茲獎的消息，他說了一句話：”我現在終於明白她為什麼那麼拼命了。”
400年前開普勒提出的問題，最後沒有敗給超級計算機，沒有敗給浩如煙海的窮舉計算，而是敗給了一個女人手中那把精巧的鑰匙，那是用數論打造的，來自一個完全不同的數學世界。
