吴文俊
提出吴类与吴公式，并创立数学机械化方法（吴方法）用于几何定理的机器证明
获奖原因
吴文俊（1919–2017）是中国数学家的代表。在拓扑学上，他提出”吴类”（Wu classes）与”吴公式”，刻画流形的 Stiefel–Whitney 类与平方运算的关系，并研究示性类与嵌入问题。晚年他创立”数学机械化”（吴方法）：用代数消元与三角化把几何定理的机器证明变为多项式方程组的判定，影响自动化推理。2006 年邵逸夫数学科学奖授予他（与芒福德共享）。
他的”吴方法”把中国传统数学的算法精神与现代代数几何结合，开辟了”数学机械化”这一中国优势方向。