吳文?。?919—2017 ）上海市人。數學家。學部委員（院士）。曾在北京大學任教。創立的“吳公式”等是影響拓撲學發展的經典性成果。開創數學機械化領域，提出用計算機證明幾何定理的“吳方法”，實現了高效的幾何定理自動證明，被公認為是自動推理領域的先驅性工作。著有《幾何定理機器證明的基本原理》等。榮獲2000年度“國家最高科學技術獎”。