吴文俊院士（2014年5月15日摄）。新华社发

　　本报讯（记者 张然）浩瀚宇宙中，一颗被命名为“吴文俊星”的小行星和光同尘，世间巨星却已陨落。5月7日7时21分，我国著名数学家、中国科学院院士、首届国家最高科技奖获得者、中国科学院数学与系统科学研究院研究员吴文俊先生因病医治无效，溘然长逝，享年98岁。

　　昨天，中国科学院数学与系统科学研究院官方网站变成了黑白色，以此悼念这位杰出的数学家。

　　吴文俊1919年5月12日出生于上海。1951年，报国心切的先生放弃法国国家科学中心的优越条件，回到祖国参加社会主义建设，先后在北京大学、中国科学院数学所、中国科学院系统所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席、中国科学院系统所名誉所长。1957年当选为中国科学院学部委员(院士)。

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

　　吴文俊曾获得首届国家最高科技奖(2000年)、首届国家自然科学一等奖(1956年)、首届求是杰出科学家奖(1994年)、有东方诺贝尔奖之称的邵逸夫数学奖(2006年)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997年)。他培养的许多学生已成为所在领域的领军人物。他建立的数学机械化重点实验室是国际符号计算领域最主要的研究中心之一。

　　先生的遗体告别仪式定于5月11日上午10:30在八宝山殡仪馆东厅举行。