AI 与数学

AI 与数学 我一直关注 OpenAI 最近发布的数学证明成果，尤其是关于这样一个观点的讨论：数学的真正价值不在于结论的真假，而在于证明本身、从中获得的理解，以及新数学思想的发展。我认同这个观点，但总觉得其中存在一些脱节，我很想知道从事数学实践的人会如何回应这个问题。具体来说，为什么不能（在理论上不太遥远的未来）存在一个 AI 系统，它不仅能够生成证明，还能发展和理解证明背后的思想、阐释其含义，并解释结果本身的意义？ 比如，假设某个问题长期以来悬而未决，但一个 AI 找到了证明。那么，同一个 AI 或另一个 AI 能否做到以下事情？ - 审视证明，揭示其中蕴含的思想、假设和数学结构 - 尝试找到使用不同思路或更简洁的替代证明或解释 - 寻找该结果的推广形式，或探索这些思想可能适用的其他数学领域 - 提出类似的问题，或发现与其他领域之间此前未曾显现的联系 换句话说，为什么构想和理解数学的过程不能成为 AI 研究的一部分，而非要等到证明完成之后，再由人类数学家来完成这些后续工作？ 我并不是说产生一个证明和对证明形成概念性理解是同一回事，这显然不是；但我不明白为什么第二项任务从根本上超出了 AI 的能力范围——尤其是当我们讨论的是正在接近或超越人类能力的系统时。 我只是想弄清楚，人们是否认为这里存在一个根本性的障碍，还是说这仅仅是目前尚未发生、但随着模型进一步发展可能会发生的事情。 我的推理中是否遗漏了什么？在验证/产生证明与对其进行概念化理解并把握其含义之间，是否存在一个 AI 永远无法跨越的关键差异？