新華網(wǎng)北京1月11日電? 2017年度國家最高科學技術獎日前揭曉，作為中國科技界最高獎項，國家最高科技獎自2000年正式設立至今，已有29位科學家獲獎。其中，12位已經(jīng)故去，他們當中，最年長者98歲，最年輕者69歲，平均年齡接近91歲。
雖然術業(yè)有專攻，但毫無疑問，這些老者中的每一位，都在科學技術領域做出了卓越的貢獻，有力推動著社會前行。我們每一個人，都應該向推動時代發(fā)展的大師們，緬懷致敬！
吳文俊（1919年5月12日-2017年5月7日），數(shù)學家
獲得首屆國家最高科技獎時，吳文俊81歲。
他是我國最具國際影響的數(shù)學家之一，其工作對數(shù)學與計算機科學研究影響深遠。在拓撲學領域，他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，導出的示性類之間的關系式被稱為“吳公式”。上世紀70年代后期，他開創(chuàng)了嶄新的數(shù)學機械化領域，提出用計算機證明幾何定理的“吳方法”，被認為是自動推理領域的先驅(qū)性工作。
吳文俊曾提出東方數(shù)學的“使命”問題，并用其一生來解答。如今，人工智能在政策的春風下蓬勃發(fā)展，“東方數(shù)學的使命”找到了最好的演武場。
