1919年5月,吳文俊出生于上海的一個書香世家,1933年吳文俊進入上海正始中學讀高中,此時的他已是班級里的“數理王子”,17歲時他被保送至交通部南洋大學(上海交通大學前身)數學系,開啟了數學人生。
在大學期間,吳文俊打下了現代數學課程的堅實基礎,隨后他以自學為主,學習了康托爾的集合論,進而涉足點集拓撲的學習,大學畢業后,吳文俊憑借在數學方面的突出表現,進入中央研究院數學研究所,受教于陳省身,研究拓撲學。
1947年,吳文俊赴法國留學,他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”,導出的示性類之間的關系式被稱為“吳公式”,新中國成立后,吳文俊放棄在法國的優越條件毅然回國,決定用所學知識報效祖國。
1976年,吳文俊在中國古算研究的基礎上,開拓了嶄新的數學機械化研究領域,年近六旬的他從零開始學習算法語言,編制算法程序,在計算機上實現了幾何定理的證明,創立了獨具中國特色、享譽國際的數學機械化方法。
吳文俊的工作原創性極強,有些時候并不被大家理解,但他始終堅守在科學攀登的道路上,從幾何定理機器證明到數學機械化理論,吳文俊的研究產生了巨大的國際影響,陳省身先生盛贊他的工作“獨出蹊徑,不襲前人,富創造性”,時至今日,吳文俊創設的“吳方法”還在不斷發展中,并在新一代大數據計算中發揮著重要作用。