華為招攬世界頂尖科學家這事兒,新進展來了:
又有三位數學最高獎得主,現已加盟華為。
他們分別是 2018 年菲爾茲獎得主阿萊西奧 · 菲加利、1998 年菲爾茲獎得主馬克西姆 · 孔採維奇,和 1994 年菲爾茲獎得主皮埃爾 - 路易 · 利翁。
也就是說,加上此前的法國數學家洛朗 · 拉福格,華為今年已經拿下 4 位世界頂級數學家。
他們的研究方向,涵蓋數論、代數幾何、偏微分方程等等基礎數學領域。
華為狂攬頂級科學家
這些數學家究竟有多強,不妨先來看看他們的履歷。
阿萊西奧 · 菲加利:文科高中出身,34 歲拿下數學最高獎
阿萊西奧 · 菲加利(Alessio Figalli)1984 年出生於義大利,其工作主要是關於變分法和偏微分方程。
2018 年,他因 "對最優傳輸理論的貢獻,及其在偏微分方程、度量幾何和機率論中的應用" 獲得菲爾茲獎。
而在此之前,他已於 2017 年當選歐洲科學院院士。
有意思的是,與很多從小就開始數學訓練的數學家不同,雖然菲加利小時候就對數學感興趣,但在選擇高中時,他卻沒有選擇科學高中,而是聽從父母的意見進入了一所古典高中,只因 " 覺得古典高中的女生數量一般會比科學高中多 "。
直到高三(義大利高中為 5 年),在接觸了國際數學奧林匹克競賽之後,菲加利才開始深入學習數學。
加盟華為後,菲加利將繼續在最優傳輸這個研究課題上與諾亞實驗室展開合作。他的專案聚焦於研究最優傳輸基礎理論,蒙日 - 安培方程及梯度流等課題。
所謂最優傳輸(Optimal Transport),其主要目標是建立有效比較機率分佈的幾何工具。
舉個簡單的例子,假設有兩個沙堆,一個沙堆如何透過最小的代價,變成和另一個沙堆一樣的形狀?這就是最優傳輸問題。
△圖源:CMU
而最優傳輸理論,也是是流編碼壓縮和自動對抗生成網路的數學基礎。
皮埃爾 - 路易 · 利翁斯:師徒三代,都是菲爾茲獎得主
皮埃爾 - 路易 · 利翁斯(Pierre-Louis Lions)是偏微分方程領域內的大師級數學家,對現代非線性偏微分方程做出了革命性的貢獻,他所提出的 " 粘性解 " 概念為這一領域打開了全新的大門。
此外,他還是首位給出了玻爾茲曼方程的解並提出證明的數學家。
他正巧也是阿萊西奧 · 菲加利的 " 師爺 " ——菲加利的導師、同樣是菲爾茲獎得主的賽德里克 · 維拉尼,就是利翁斯的學生。
也就是說,這一門師徒三代,都是菲爾茲獎得主。
在與華為的合作中,皮埃爾 - 路易 · 利翁斯專注於將平均場博弈論用於複雜網路規劃。
他的專案聚焦研究平均場博弈論及其在互動系統中的應用,透過數學模型構建複雜的網路互動模型,實現可計算的整理效率最優。
另外,利翁斯也是華為拉格朗日數學計算中心科學委員會主席,參與籌建科學委員會。
實際上,皮埃爾 - 路易 · 利翁斯與中國的淵源還不止於與華為的合作。他的父親雅克 - 路易 · 利翁斯同樣是一位知名數學家,曾任法國科學院院長與國際數學聯盟主席等職務。1998 年,雅克 - 路易 · 利翁斯當選為中國科學院外籍院士。
馬克西姆 · 孔採維奇:幾何物理綱領領袖數學家
馬克西姆 · 孔採維奇(Maxim Kontsevich)是法國、俄羅斯數學家,1964 年出生於蘇聯。他的工作領域是紐結理論,量子化和映象對稱。
青年時期的孔採維奇曾獲得全蘇數學奧林匹克競賽第二名,並進入莫斯科國立大學求學。
不過在 1985 年,他沒有獲得學位就離開了,轉而成為莫斯科資訊傳輸問題研究所的一名研究員。
在此之後,孔採維奇開始在世界數學舞臺上嶄露頭角:在他受邀到馬克斯 - 普朗克研究所進行訪問研究期間,他參加了一個為期 5 天的國際會議,結果就在那裡證明了威滕猜想——這使得他 3 個月的訪問期被延長到了 3 年。1992 年,他在波恩大學獲得博士學位。
孔採維奇的主要理論貢獻包括:提出對任意泊松流形有效的形變數子化;提出孔採維奇積分,即利用一種類似費曼路徑積分的複雜積分構造的扭結不變數;在拓撲場論中,他還提出了穩定映像的模空間。
除了 1998 年的菲爾茲獎,孔採維奇還在 1997 年獲得龐加萊獎、2008 年獲得克拉福德獎、2012 年獲得邵逸夫獎和基礎物理學獎、2014 年獲得數學突破獎。
瑞典皇家科學院這樣評價他:孔採維奇和威滕使用物理學方法論開創了一門用於研究不同型別集合物體的新數學學科,具有 " 突破性意義 "。
而在與華為的合作中,孔採維奇將主要參與範疇論、形變理論等相關領域研究的指導。
" 國家若要強盛,數學是基礎 "
不難看出,這些頂級數學家雖然長期紮根學界,此前並與太多與工業界的關聯,但他們所研究的理論,實際上都是人工智慧、通訊等技術的基礎。
而華為此前,就曾受益於對這些基礎研究的重視——
華為著名的 polar 碼就是數學在 5G 技術上實際應用的體現。
polar 碼之父 Erdal Arikan 在 2008 年發表了主要用於 5G 通訊編碼的極化碼方案。但這篇論文起初並沒有在學界得到重視。
華為在發現其中的價值之後,在這個專案上投入大量的資金和人才,最終使得這篇數學論文轉變成了可以實際應用的技術和標準。
△任正非和 Erdal Arikan
任正非也曾多次表示需要重視基礎科學," 國家若要強盛,數學是基礎 "。
今年來屢次曝出招攬國際頂尖科學家,亦正是這種對基礎科研重視的延續。
也正如在華為開啟研究生涯新篇章的菲爾茲獎得主洛朗 · 拉福格所說:
華為有許多人是基於 10 年或 20 年的遠景來思考問題的,這一點難能可貴。