Zmn-0993 薛问天 : 人工智能机器人能否进行数学证明。兼评沈卫国先生的《0992》

【编者按。下面是薛问天先生的文章，同时是对沈卫国先生《Zmn-0992》文章的兼评。现在发布如下，供网友们共享。请大家关注并积极评论。另外本《专栏》重申，这里纯属学术讨论，所有发布的各种意见仅代表作者本人，不代表本《专栏》编辑部的意见。《专栏》中有些文章发扬了啄木鸟精神，对一些错误的观点和言论进行了说理的批评。但请大家注意，也有些有严重错误的文章在这里发布，就是为了引起和得到广大网友们的评论。不要以为在这里发布的文章都是正确无误的。】

人工智能机器人能否进行数学证明。兼评沈卫国先生的《0992》

薛问天 

xuewentian2006@sina.cn

大家知道人工智能机器人由于采用了大语言模型，最近有惊人的发展。特别是ChatGPT-4的应用，可以说人工智能技术的发展，巳引起了整个科学技术及相应的产业发生了新一轮的革新和革命。人工机器的智能在某些方面已可以替代甚至超过实际真人的智能。

我们知道数学家进行的数学定理的证明，这是非常高级的智力活动。那么请问人工机器的智能在数学定理的证明方面，是否可以进行数学定理的证明，进而替代真正数学家的智能呢？

对此问题的回答，大多数人都认为计算机可以进行数学定理的证明。但这个研究刚刚开始，非常初步。现在只是部分数学定理可被计算机正确证明，現在还做不到所有数学定理都能被机器证明。人工智能机器人的回答是否正确还需数学家的最终判定。那些把人工智能机器人的回答作为最终判定对错的【论据】是错误的观点。

而沈卫国先生主张的恰恰就是这个错误的观点。他认为现在人工智能机器人的回答应作为判定对错的【论据】，他说【用它来检验“专家”的论点。而现在只是我等少数人这么干。】【事实上，它现在就部分地有这个能力了，但获得大家的承认还需时日。......会有更多的人用它来检验“专家”的论点。】

我们来看看人工智能机器人自己是怎么回答的。我托人对ChatGPT作了如下的问答。

---------------------

问:

请问人工智能机器人能进行数学定理的证明吗？能保证证明是正确的吗？

ChatGPT回答:

人工智能机器人在某些情况下可以进行数学定理的证明，但无法保证证明的正确性。

人工智能可以通过推理和逻辑推断来进行数学定理的证明。通过深度学习和推理算法，它们可以分析数学公式、推导定理，并使用已知的数学规则和定理进行逻辑推理。这使得它们能够在某些情况下生成数学定理的证明。

然而，无法保证这些证明是绝对正确的。尽管人工智能在数学上可以是非常强大和高效的，但它们仍然受限于其训练数据和算法的局限性。如果机器人在训练过程中没有接触到特定的数学定理或规则，它们可能无法生成相应的证明。此外，机器人也可能受到输入数据的误导或错误的假设，从而导致生成错误的证明。

数学定理的正确性需要严格的数学逻辑和证明方法。目前，人工智能还无法提供对所有数学定理的绝对正确证明。尽管人工智能可以辅助数学家们进行研究和证明，但最终的验证和确认仍然需要由人类数学家来完成。

因此，虽然人工智能机器人在数学定理证明方面具有一定的潜力，但仍需要人类数学家的审查和确认，以确保证明的正确性。

--------------------

我认为人工智能机器人对它自己的评价是公正合理的。它已具有很强的能力，可以进行数学定理的证明。但是承认由于各种原因，不能保证它的证明是完全正确的，甚至可能产生某些错误。因而不能用它的回答作为正确的论据，来檢验专家意見的真伪。而是回答的【最终的验证和确认仍然需要由人类数学家来完成。】

由此可見沈卫国等少数人所主张的用人工智能机器人的回答【来检验“专家”的论点】的观点是错误的。

另外，他在《0992》中所说的他所写的一系列文章是否是薛某所评的〖低级烂文〗，请读者自行判断。其它所说的观点，真是不值一驳。如果P则Q，是在假定P为真的条件下，推出Q为真的一种推理。根据真假值表，蕴含式P→Q在前件P为假时，或后件Q为真时当然是一定为真的，这有什么可说，尽人皆知。

在假定“全部死人都活了”的条件下，“这些曾经的死人现在当然是不存在的死人了”。这有什么【可笑】。可笑的是在假定“全部死人都活了”的条件下，还承认存在有死人。这才是可笑的逻辑混乱！这些都是最基本的逻辑常识。

【编者注。读者可点击頁面最上面的〖博文〗这个选項，来查找本《专栏》的其它文章。】