“国家最高科学技术奖”获得者——吴文俊

吴文俊（1919—2017 ）上海市人。数学家。学部委员（院士）。曾在北京大学任教。创立的“吴公式”等是影响拓扑学发展的经典性成果。开创数学机械化领域，提出用计算机证明几何定理的“吴方法”，实现了高效的几何定理自动证明，被公认为是自动推理领域的先驱性工作。著有《几何定理机器证明的基本原理》等。荣获2000年度“国家最高科学技术奖”。