吴文俊 Wu WenJun
吴文俊,陈省身在 WW2昆明西南联大的弟子, 留法Strasbourg University, 兼任 博士生的tutor, 教导 法国未来的 大师Grothendieck (两人都是新数Bourbaki 学派 最后一批会员) .
吴文俊在1975 文革后才研究 中国古代数学,从中得灵感,发明 电脑 机器化 AI 证明axiom-based 几何定理.得 1st batch Run- Run Shaw (东方Nobel Prize) $1 m Prize.
数学家清心寡欲不爱斗争,一心专注 "数学之美" ,其他生活繁琐的事(文革 批斗) 都看得开.所以多长寿 (Newton, 陈省身, Ha