ChatGPT能证明勾股定理的新证法吗？人类心智的最后一根火柴

当ChatGPT这位“全能选手”在几秒钟内写出十四行诗、生成商业计划书、通过律师资格考试时，我们都以为它无所不能，直到有人给它出了一道看似再简单不过的题目：请给勾股定理一个全新的证明。

结果令人困惑，它迅速给出了“证明”——有的是经典证明的改头换面，有的前言不搭后语，有的干脆就是循环论证，换句话说，面对这个两千五百年前的古老定理,这位以推理能力著称的AI露了怯。

这让许多人松了一口气，原来ChatGPT也有软肋，原来人类思维还有机器无法逾越的高墙，但细想下来,事情远没有那么简单。

我们首先要厘清一个根本问题：所谓的“新证明”，到底“新”在哪里？

勾股定理有超过370种证明方法，从欧几里得的面积剖分到达·芬奇的几何构造，从爱因斯坦少年时代的比例推导到詹姆斯·加菲尔德总统的梯形证法，每一条新证明的本质，都不是发现了新的真理,而是找到了通往已知真理的一条没人走过的路。

这条路需要什么？需要直觉的跳跃，需要从全新角度审视旧问题，需要打破框架的勇气，需要对图形、符号、逻辑之间隐藏联系的敏锐捕捉，而这些,恰恰是当前大型语言模型的盲区。

ChatGPT的工作原理决定了它的局限，它是基于海量文本训练的预测模型，本质上是统计性地猜测下一个最可能的词语，当它面对勾股定理时，它的训练数据中充斥着这个定理的表述、证明、应用、历史掌故，它可以准确复述毕达哥拉斯学派的故事，可以清晰讲解欧几里得证明的每一步，可以告诉你勾股数有无穷多组，但当你要求一个“新”证明时，它面临一个结构性困境——它的所有“知识”都来自已有的人类文本,它的所有推理都是对已知模式的再组合。

创新证明需要的不只是逻辑推演，更是在逻辑链条尚未建立时的一种预判、一种冒险、一种试错，这涉及到认知科学家所说的“生成性创造”——一种在现有符号系统之外构建新意义的思维能力，当前的大语言模型几乎没有这种能力，它像一位博学到令人咋舌的学者，能把整座图书馆倒背如流,却无法为书架上的旧书找到一本全新的摆放方式。

我们也不能因此陷入人类中心主义的自我陶醉。

“ChatGPT无法给出新证明”这个判断本身，暗含着一个更深刻的命题：我们如何定义“新”？如果有一台机器，扫描了人类所有370多种证明之后，以一种人类从未想过、却完全符合逻辑的方式组合出了一个证明——这对人类而言毫无疑问是新的，但它是“创造”吗？还是仅仅是一种更复杂的模式重组？

这正是哲学家困惑已久的问题，认知科学家玛格丽特·博登区分了“心理创造性”和“历史创造性”，前者指对创造者本人而言是新的想法，后者指对人类历史而言是新的成果，我们可以明确说，ChatGPT目前连心理创造性都没有，更遑论历史创造性，但技术发展的加速度让“这个词变得极为脆弱。

就在一年前，人们还在嘲笑GPT-3在基本算术上频频犯错，使用了代码解释器和思维链的GPT-4已经能够处理相当复杂的数学推理，那些宣称“AI永远无法做到X”的断言，正在一个接一个地破灭，围棋、蛋白质结构预测、创意写作、数学辅助证明,每个领域都以比预期快得多的速度被攻克。

也许问题的关键不在于ChatGPT能否给出勾股定理的新证明，而在于我们是否已经站在一个临界点——人类引以为傲的创造力，第一次被摆在了可被工程化实现的层面来审视，当算法可以通过搜索人类从未探索的推理路径来“发现”证明时，即便这个过程没有人类式的灵感和意图,它的产出却可能比任何单个数学家终身所及都要丰富。

这不是杞人忧天，也不是盲目乐观,这是我们需要认真对待的哲学困境。

人类心智的独特性一直被我们视作最后的堡垒，如果连“为新问题找到前所未有的解决方案”这种能力都能被技术系统在某种层面上实现，那么我们必须重新思考那些古老的追问：思维的本质是什么？创造意味着什么？意义是来自过程还是结果？

更有趣的反而是人类自己，这位斯坦福大学的数学教授或许因为ChatGPT的无能而暗喜，但她也可能从中看到了一个更大的问题：如果创造不只是统计规律的重新排列,那么究竟是什么点燃了人类思维中那束无法被计算的火花？

或许答案就藏在勾股定理本身，两千五百年来，人们被这个简单优雅的关系所吸引，一次又一次地寻找新的证明方法，不是因为它有用，而是因为它美，这个定理早已被证明得足够牢固，所有新证明都是一种智识上的奢侈和审美的追求，人类寻找新证明的冲动，源自一种非功利的好奇心、一种纯粹的求知欲、一种美学上的自我实现。

这是一种无用的激情，而恰恰是这种无用的激情,使我们成为人类。

ChatGPT不会在深夜因为脑海中突然闪现的几何对称性而睁大眼睛，不会因为瞬间看到了一个定理背后隐藏的幽深结构而热泪盈眶，不会为了证明一个已知定理而耗费数月时间仅仅因为“这条路很美”，它不是不能，而是不会，它从未如此感受过,也从未如此生活过。

是的，ChatGPT现在还搞不定勾股定理的新证明，但真正的问题不是它能不能，而是当有一天某个AI系统真的做到了，我们能否识别出那算不算真正的“证明”，我们是否还掌握着定义“新”和“理解”的话语权。

在这个技术呼啸向前的时代，那些看似牢不可破的人类独特性的堡垒，也许迟早会被一一突破，但至少今晚，我们还可以翻开一本几何书，用手指沿着欧几里得的辅助线行走，感受那种来自心灵深处的、无可替代的惊奇。

这道古老的证明之路,目前仍只属于我们。