邵逸夫奖评审会主席杨振宁21日在香港宣布了2006年邵逸夫奖得奖名单，中国科学院研究员、院士吴文俊与美国布朗大学教授同获数学科学奖. 以表彰大卫·曼福德对数学，与对二类新兴学科“图案学与视觉学”的贡献；以及表彰吴文俊对一新兴学科“数学的机器证明法”的贡献。

吴文俊早年在拓朴学方面有开创性的贡献，他自上世纪70年代转而研究用计算机证明几何命题，并发现了一个新的有效方法将几何命题转化为代数命题，从而可以用计算机解决几何命题，创造了一个新兴学科。而大卫·曼福德研究视觉的计算机制，在此领域作出了奠基性的重要贡献。

吴文俊1919年5月出生于上海，1940年毕业于上海交通大学数学系。1946年赴法国 Strassbourg 大学留学，获博士学位。1957年被选为中国科学院学部委员(院士)。1990年被第三世界科学院选为院士。1952年至1979年任中国科学院数学所副所长、研究员。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。