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