吴文俊先生已经去世，享年98岁。吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的“成就”。

      那么什么是数学机械化呢？就是用计算机完成数学的方程计算和证明。

计算机解方程早已不是新闻。

计算机证明研究在2006年结束。

      机器证明已经失败。因为：

1，只能对已知的几何问题进行“证明”，就是说已经有结果的工作可以用计算机重复性“证明”。没有创新性可言（好比一个厨师用铁锅炒菜，另外一个厨师吹嘘说，我有重大发明，这个厨师是用铝锅炒菜，炒出的菜并不比铁锅炒的好吃）。

2，不能对未知的几何问题进行证明。

3，更不能对其他例如数论微分几何拓扑学问题进行证明。

   因为，目前命题逻辑还有许许多多的问题没有解决，是不可能对复杂问题进行证明的。

  机器证明只是一个自欺欺人的把戏，可以说是胡编乱造。居然获得国家最高奖。你们说，中国大陆数学家有多么坏。

   1956年，华罗庚的论文《典型域上的多元复变函数论》获国家自然科学一等奖，现在看来，只是一个很普通的论文，就连三等奖也不够资格。其文化方面的浅薄可想而知。

       吴文俊从事施蒂费尔-惠特尼示性类的研究工作也不是什么重大成果，居然给了自然科学一等奖。

  中国数学家故意恶搞国家奖项，把科学奖励的级别和层次弄的乌烟瘴气。同时故意打压真正的重大创新，于国家的整体利益不顾。

      整个数学领域帮派林立，明争暗斗，投机取巧，数学研究实际上停滞不前。

        机器证明从本质上讲，不可能有重大创新，因为机器就是机械的方法去完成一些工作。与电脑编写程序没有太大的区别。吴文俊等人搞机器证明获得国内科学大奖是拔高自己的成果。是另外一种形式的造假。
      美国的哈肯等人用机器证明四色定理，并没有得到数学界的认可。不足以享有崇高荣誉。吴文俊也是一样，如果吴文俊用机器证明了重大猜想，那倒是可以重奖。

       
    因为搞机器证明的当选院士的还有张景中。吴文俊因为机器证明获得国家最高奖，是极不严肃的。如此低劣的垃圾，竟然得到最高奖，太可笑了。据国际上通行的观念，一项成果，如果不能够产生或者开创新的领域，就不能算重大成果。机器证明的意义是低下的，机器证明不能开拓新的数学。只不过是在已知的范围内循环运动。

       吴文俊真的是淡泊名利吗？吴文俊在2006年就已经知道机器证明是荒唐的，就停止搞机器证明了。但是，虚荣心使得吴文俊见利忘义，至死没有公开承认错误。死后还有人继续造假造谣误导群众。

中国数学家其实到现在依然没有原创性重大成果。他们存在的唯一目的就是——千万不能让其他人产生重大成果。