變更

==吴文俊机器证明是个什么垃圾==

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

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

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

==机器证明只是一个自欺欺人的把戏==

居然获得国家最高奖。你们说，中国大陆数学家有多么坏。

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

===机器证明从本质上讲，不可能有重大创新===

因为机器就是机械的方法去完成一些工作。与电脑编写程序没有太大的区别。吴文俊等人搞机器证明获得国内科学大奖是拔高自己的成果。是另外一种形式的造假。

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

===吴文俊真的是淡泊名利吗===