AI不是超越数学家，而是超越记忆

像 Lean 这样的证明检查软件对 AI 来说非常神奇，因为它让 AI 能够得到一个客观且极其清晰的答案——知道自己为什么错了。与人类不同，人类会担心在数学研究中浪费时间和精力，怕在一条走不通的路上死磕到底，而 AI 即使经历了 100 次错误的证明，也不会伤到"精神"。此外，正如你指出的那样，AI 不必像人类那样频繁地回顾自己的错误，因为它们可以随时保持更多信息待命。

在许多考试中，我曾经想到过正确的解题路径，但最终犹豫了。我担心会把时间全部耗尽，所以没有下定决心去做。等看到答案时，就狠狠地给自己来了一下。

"AI 并非在思维上超越数学家，而是在记忆上超越他们。关键优势可能不是 superior reasoning（超越推理能力），而是 virtually unlimited symbolic working memory（几乎无限的符号工作记忆）。"

AI 不会思考，至少不会像人类那样思考。AI 可以惊人地高速存储和操作数据，这使它成为人类求知道路上出色的工具。AI 受限于构成它的算法。

在你对 AI 的分析中，有很多很棒的观点。但对我来说，智能远不止记忆或数学运算。智能意味着运用逻辑推理解决复杂问题的能力，意味着拥有原创思想，意味着批判性、抽象化、富有想象力的思考。信息或知识不应被视为智能。确实，智能的人通常拥有高度的知识或信息储备，但智能是在已知信息或知识之外有所发现的能力。