吳文俊：人工智能與他的名字

今年假期，媽媽給我推薦了一部科幻電影——《人工智能》（AI），我的假期數(shù)學(xué)作業(yè)是做一份介紹我國當(dāng)代數(shù)學(xué)家的手抄報，這部電影和手抄報讓我結(jié)識了他——吳文俊爺爺。

吳文俊爺爺是我國杰出的科學(xué)家、數(shù)學(xué)大師、中國科學(xué)院院士。他為數(shù)學(xué)的核心領(lǐng)域——拓撲學(xué)作出了重大貢獻，開創(chuàng)了數(shù)學(xué)機械化新領(lǐng)域，對數(shù)學(xué)與計算機科學(xué)研究影響深遠。

2011 年，我們國家的人工智能最高獎也以他的名字命名——吳文俊人工智能科學(xué)技術(shù)獎。

這是為什么呢？

我開始尋找、閱讀他的故事：吳爺爺17 歲考入上海交通大學(xué)數(shù)學(xué)系，后在陳省身先生的指導(dǎo)下研究拓撲學(xué)。1947 年，他赴法國留學(xué)，獲得法國國家博士學(xué)位。1956 年，他與華羅庚、錢學(xué)森一起獲得首屆國家自然科學(xué)一等獎。20 世紀(jì)70 年代，他在計算機工廠勞動時，意識到要將數(shù)學(xué)與計算機結(jié)合起來，已近花甲之年的他一頭扎進機房，從頭學(xué)習(xí)計算機語言。那時，計算機存儲要靠穿孔紙袋、打洞卡片，后來，他辦公室里堆了一麻袋卡片。他是當(dāng)時機房里年齡最大的“程序員”，也是當(dāng)時中科院數(shù)學(xué)所上機時間最長的人。90 歲高齡時，他還在研究世界級難題——大整數(shù)分解，這是當(dāng)今使用最為廣泛的密碼安全性的數(shù)學(xué)基礎(chǔ)。

在學(xué)習(xí)算法語言、編制算法程序中，他洞察到中國古代數(shù)學(xué)中包含的機械化思想能夠把幾何問題轉(zhuǎn)化為代數(shù)問題，編成程序后，可以代替大量人工演算，從而把數(shù)學(xué)家從繁重的腦力勞動中解放出來。他把這種用計算機證明幾何定理的方法冠名為“數(shù)學(xué)機械化”，這種方法又被人們稱作“吳方法”，是自動推理領(lǐng)域的里程碑。吳爺爺也因此獲得了1997 年的國際自動推理最高獎——埃爾布朗自動推理杰出成就獎。2010 年，因他在數(shù)學(xué)領(lǐng)域的杰出成就，國際天文學(xué)聯(lián)合會還批準(zhǔn)將一顆小行星永久命名為“吳文俊星”。

今天，人工智能技術(shù)就在我們的身邊。我想，未來我們也許真的會與電影里那個人工智能機器人小男孩大衛(wèi)生活在同一個世界里，在“吳文俊星”的照耀下，沿著吳文俊爺爺開拓的人工智能之路，繼續(xù)學(xué)習(xí)和探索與高級智能共處的世界。