【人物生平】 吴文俊1919年5月12日出生于上海市。1936年考入上海交通大学数学系，1940年毕业获学士学位。1946年进入中央研究院数学研究所工作，师从陈省身教授。1947年赴法国斯特拉斯堡大学留学，1949年获博士学位后在法国国家科学研究中心从事博士后研究。1951年回国，历任北京大学数学系教授、中国科学院数学研究所研究员、所长等职。1957年当选中国科学院学部委员（院士）。1980年当选中国科学院院士。2017年5月7日在北京逝世，享年98岁。 【科研成就】 1.拓扑学研究：在拓扑学领域取得重大突破，建立了吴文俊示性类和吴文俊公式，这是20世纪最伟大的数学成就之一。吴文俊示性类是刻画流形拓扑性质的重要不变量，吴文俊公式则建立了示性类之间的深刻关系，为代数拓扑学的发展奠定了坚实基础，对整个数学领域产生了深远影响。 2.数学机械化：提出了吴方法，实现了几何定理的机器证明，开创了数学机械化的新领域。吴方法通过将几何问题转化为代数问题，利用计算机进行符号计算，能够自动证明大量几何定理，为人工智能的发展提供了重要理论基础，也为数学研究开辟了新的方向。 3.中国古代数学研究：深入研究了中国古代数学，提出了"古证复原"的方法，系统整理和研究了《九章算术》等中国古代数学经典。他发现中国古代数学具有算法化、机械化的特点，与西方数学的公理化传统截然不同，推动了中国数学史的研究，也为数学机械化提供了历史借鉴。 4.数学教育：培养了大批优秀数学人才，包括多位院士和著名数学家。他注重启发式教学，鼓励学生独立思考和创新，为我国数学教育事业发展作出了重要贡献。 【学术成果】 吴文俊出版了《示性类与示嵌类》《数学机械化》等多部专著，发表学术论文100余篇。他的研究成果获得了国家自然科学奖一等奖、国际自动推理最高奖Herbrand奖等重要奖项。他是我国数学界的杰出代表，在多个数学分支领域作出了开创性贡献。 【荣誉表彰】 1957年当选中国科学院学部委员（院士）； 1980年当选中国科学院院士； 1990年获第三世界科学院数学奖； 1993年获陈嘉庚数理科学奖； 1994年获何梁何利基金科学与技术成就奖； 1997年获国际自动推理最高奖Herbrand奖（首位获此殊荣的华人科学家）； 2000年获国家最高科学技术奖； 获国家自然科学奖一等奖。