一個困擾數(shù)學(xué)界超過400年的問題，被一個獨(dú)自在柏林工作的31歲烏克蘭女?dāng)?shù)學(xué)家解決了。

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

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

真正難的是把這個問題推進(jìn)到更高的維度。

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

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

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

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

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

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

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

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

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

很容易把這一切當(dāng)作美麗但遙遠(yuǎn)的智識游戲，以為它與現(xiàn)實(shí)生活毫無關(guān)聯(lián)。但事實(shí)并非如此。

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

這是一個罕見的時刻，人類的數(shù)學(xué)直覺與機(jī)器的形式驗(yàn)證能力在這里相遇，共同為一座數(shù)學(xué)里程碑蓋上了最終的印章。

維亞佐夫斯卡1984年生于基輔，從小在數(shù)學(xué)競賽中嶄露頭角，輾轉(zhuǎn)求學(xué)于烏克蘭、德國，最終在瑞士洛桑聯(lián)邦理工學(xué)院成為數(shù)論講席教授。據(jù)說，她兒子邁克爾在幼兒園時曾是每次被最后一個接走的孩子，因?yàn)樗τ诠タ薊8證明。當(dāng)兒子后來聽說菲爾茲獎的消息，他說了一句話："我現(xiàn)在終于明白她為什么那么拼命了。"

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