在世界数学史的璀璨星河中，有诸多耀眼明星，而吴文俊，必定是极为闪亮的那一颗。

吴文俊是著名数学家、“数学机械化之父”。1919年出生在上海一个书香世家，2017年5月7日与世长辞。

他曾在“一片争议声”中创立了独具中国特色的、享誉国际的数学机械化方法。

上世纪70年代，在计算机工厂劳动的吴文俊切身感受到了计算机的巨大威力，敏锐地觉察到计算机作为新的工具必将大范围地介入到数学研究中来。当时已年近六十的吴文俊决定从头学习计算机语言。他提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作，对人工智能科学研究与发展影响深远，并使得中国在自动推理和数学机械化领域处于国际领先地位。

而在2009年, 已经90岁高龄的吴文俊开始研究世界级难题“大整数分解”。这是当今使用最为广泛的密码的安全性的数学基础。

吴文俊开创的事业正如那颗“吴文俊星”一样闪耀在天际，照亮着今天的数学前行之路。2017年，中国工业与应用数学学会宣布设立“吴文俊应用数学奖”，以此推动数学与其他学科交叉领域的发展。而他在拓扑学、数学机械化、博弈论等领域的开创性工作也将被提升到人工智能领域。

在今天的数学界，吴文俊还被认为是“给别人饭碗的伟大数学家”。正是对数学史的关注，吴文俊开创并引领了上世纪70年代后中国数学史研究的新局面，形成了具有鲜明特色的“吴文俊数学史观”。