957年增选为中国科学院学部委员(院士)；1990年荣获第三世界科学院数学奖；1993年获陈嘉庚科学奖数理科学奖；1994年获首届香港求是杰出科学家奖；1997年获自动推理领域最高奖埃尔布朗奖；2000年获中华人民共和国国家最高科学技术奖；2006年获邵逸夫奖数学科学奖。编号第7683号小行星被永久命名为“吴文俊星”。
吴公式.吴公式是：formula_1Sq是的。也参见陈类。