吴文俊是首位中国国家最高科学奖的得

主，因为在数学机械化方面的谎言。

      那么什么是数学机械化呢？就

是用计算机完成数学的方程计算和命题证

明。

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

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

      机器证明数学定理已经失败。因为：


        因为，目前命题逻辑还有

许许多多的问题没有解决，是不可能对复

杂问题进行证明的。

      为什么机器证明数学定理是荒唐的？

首先，所有的数学定理全部都是全称判

断，即“一切A是B”。。

其次，所有的全称判断的主项都是“普遍

概念”或者“单独概念”。

第三，普遍概念的定义就是依据事物的属

性。

有属性的定理只能够来自演绎推理，即三

段论的形式。（形式）。

第四，机器不能判定属性。例如判定一个

人的性别是生物化学的工作，即染色体xx

是女人，xy是男人。

机器证明数学命题本质就是——————

人工智障！

中国数学界就是一群乌合之众。

人工智能的反义词就叫人工智障。

人工智障含义非常明确，就是企图完成无

法完成的工作。