吳文俊院士誕辰紀念丨科學家日歷：數學大師的拓荒之路

吳文俊（1919—2017），世界著名數學家，中國科學院院士。他一生勇攀科學高峰，在拓撲學領域取得了“吳示性類”“吳公式”等奠基性成果，又開創了數學機械化研究，提出舉世聞名的“吳方法”。他曾與華羅庚、錢學森同獲首屆國家自然科學獎一等獎，并于2000年榮獲首屆國家最高科學技術獎，以他的名字命名的“吳文俊人工智能科學技術獎”已成為中國智能科學技術領域的最高榮譽，激勵著無數科技工作者開拓奮進！

吳文俊(1919年5月12日-2017年5月7日)， 1940年畢業于上海交通大學數學系。1949 年在法國斯特拉斯堡大學獲法國國家科學博士學位，而后在法國國家科學研究中心工作。1951年回國，并先后在北京大學、中國科學院數學所、中國科學院數學與系統科學研究院任職。曾任中國數學會理事長、中國科學院數理學部主任、全國政協常委、2002年國際數學家大會主席、中國科學院系統所名譽所長、中國人工智能學會原名譽理事長。1957年當選為中國科學院院士。1990年創建數學機械化研究中心并任主任。1991年當選為第三世界科學院院士。

吳文俊院士研究工作涉及代數拓撲學、代數幾何、博弈論、數學史、數學機械化等眾多學術領域。他在拓撲學的示性類和示嵌類，中國古代數學研究、數學機械化等領域中作出了重要貢獻。著有《可剖形在歐氏空間中的實現問題》、《幾何定理機器證明的基本原理(初等幾何部分)》、《A Theory of Imbedding, Immersion, and Isotopy of Polytopes in a Euclidean Space》等。曾獲國家自然科學獎一等獎、中國科學院科學獎金(自然科學部分)一等獎、中國科學院科技成果一等獎、第三世界科學院數學獎、陳嘉庚基金會數理科學獎、首屆香港求是科技基金會杰出科學家獎、法國厄布朗自動推理杰出成就獎、首屆國家最高科學技術獎、邵逸夫數學科學獎。2010 年國際天文學聯合會將第7683號小行星永久命名為“吳文俊星”; 2019 年被國家授予“人民科學家”榮譽稱號。

吳文俊院士是我國人工智能研究的開拓者和領軍人，不僅在自動推理、機器定理證明等領域取得突出成就，他開創的數學機械化是近代數學史上的第一個中國原創的領域，被國際上譽為“吳方法”，在國際機器證明領域產生巨大的影響，有廣泛重要的應用價值，當前國際流行的主要符號計算軟件都實現了吳文俊院士的算法。他早年提出的數學機械化和腦力勞動機械化研究已經成為我國和世界人工智能研究的重要目標。此后計算機科學、計算機圖形學智能CAD、計算機視覺、圖像壓縮、機器人、并聯數控技術、模式識別等諸多領域取得的重大科研成果，背后都有數學機械化的廣泛應用，對人工智能時代發展具有深遠影響。

日歷圖片來源：北京科協微信公眾號