数学家。1919年5月12日生于上海市。1940年毕业于上海交通大学。1947年赴法国留学。在巴黎法国国家科学研究中心进行数学研究，1949年获法国国家科学博士学位。1951年回国。1957年被聘选为中国科学院院士（学部委员）。历任北京大学数学系教授，中国科学院数学研究所研究员及副所长，中国科学院系统科学研究所研究员及副所长、名誉所长、数学机械化研究中心主任。曾任中国数学会理事长、名誉理事长，中国科学院数学物理学部副主任、主任等职。吴文俊主要从事拓扑学、机器证明学等方面的研究并取得多项突出成果，是中国数学机械化研究的创始人，为中国数学研究和科学事业的发展作出了重要贡献。1952年刊印出版的博士论文《球纤维示性类》是对球纤维理论基本问题的重要贡献。从40年代起示性类、示嵌类等研究方面取得一系列突出成果，并有许多重要应用，被国际数学界称为“吴文俊公式”、“吴文俊示性类”，已被编入许多名著。这方面成果曾获1956年度国家自然科学奖（中国科学院自然科学奖金）一等奖。60年代继续进行示嵌类方面的研究，独创性地发现了新的拓扑不变量，其中关于多面体的嵌入和浸入方面的成果至今仍居世界领先地位。在庞特雅金示性类方面的成果，是拓扑学纤维丛理论和微分流形的几何学的一项基本理论研究，有深刻的理论意义。近年来创立了定理机器证明的吴文俊原理（国际上称为“吴方法”），实现了初等几何与微分几何定理的机器证明，居于世界领先地位。这一重要创新改变了自动推理研究的面貌，在定理机器证明领域产生了巨大影响，并有重要的应用价值，它将引起数学研究方式的变革。这方面的研究成果曾获1978年全国数学大会重大成果奖和1980年中国科学院科技进步奖一等奖。在机器发现和创造定理的研究方面，以及代数几何、中国数学史、对策论等研究中也作出了重要贡献。