吴文俊

核心成果

• 在拓扑学中提出「吴示性类」与「吴公式」，是示性类理论的经典结果，影响深远。
• 创立数学机械化（吴方法）：把几何定理证明转化为多项式方程组的求解与消元，实现大量几何定理的自动证明，是符号计算的重要方法。
• 研究中国数学史，提出「宋元数学是世界数学高峰之一」，强调中国数学「机械化」传统的价值。
• 2000 年获首届国家最高科学技术奖。

代表著作 / 文献

• 《数学机械化》
• 《吴文俊论数学机械化》
• 《中国数学史大系》（主编）

历史影响

横跨拓扑学与人工智能，其机器证明方法被国际称为「吴方法」，是中国学者在算法数学中的原创贡献。

相关人物 / 主题

陈省身、秦九韶