12位故去的国家最高科技奖得主：科学寰宇，那些永不陨落的“星”

新华网北京1月11日电  2017年度国家最高科学技术奖日前揭晓，作为中国科技界最高奖项，国家最高科技奖自2000年正式设立至今，已有29位科学家获奖。其中，12位已经故去，他们当中，最年长者98岁，最年轻者69岁，平均年龄接近91岁。

虽然术业有专攻，但毫无疑问，这些老者中的每一位，都在科学技术领域做出了卓越的贡献，有力推动着社会前行。我们每一个人，都应该向推动时代发展的大师们，缅怀致敬！

吴文俊（1919年5月12日-2017年5月7日），数学家

获得首届国家最高科技奖时，吴文俊81岁。

他是我国最具国际影响的数学家之一，其工作对数学与计算机科学研究影响深远。在拓扑学领域，他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，导出的示性类之间的关系式被称为“吴公式”。上世纪70年代后期，他开创了崭新的数学机械化领域，提出用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。

吴文俊曾提出东方数学的“使命”问题，并用其一生来解答。如今，人工智能在政策的春风下蓬勃发展，“东方数学的使命”找到了最好的演武场。