AI 破解了 300 年前的数学难题？哥德巴赫猜想与 GPT-6 Astra

试想一下。1742 年，有人提出了一个数学问题。“每一个偶数是否都能表示为两个素数（只能被 1 和自身整除的数）之和？”这个看起来非常简单的问题被称为“哥德巴赫猜想（Goldbach Conjecture）”，在此后的近 300 年里，困扰了全世界无数天才数学家。

然而最近，有消息称 AI 模型“GPT-6 Astra”在这一古老的难题上取得了惊人的成果。AI 真的已经开始打破人类数个世纪无法跨越的数学壁垒了吗？

这为什么重要？

数学是所有科学技术的语言。解决数学难题不仅仅意味着“解开了一道题”，还意味着我们理解宇宙和逻辑的工具进化到了新阶段。

特别是 AI 开始介入这种高度推理领域，是一个重大的转折点。数学证明有着极其严谨的结构，只要逻辑步骤错了一点就会崩溃。如果 AI 能够无误地完成复杂的证明过程，那么在未来的新药研发、加密体系安全性保障，甚至揭示宇宙基本原理的过程中，我们相当于拥有了一位能更快解开困扰人类数个世纪难题的“强大伙伴”。

简单易懂：AI 是如何进行数学证明的？

数学证明类似于精致的拼图游戏。我们常用的 GPT 等 AI 虽然擅长处理语言，但具备数学严谨性是另一个层面的事。这里重要的工具就是“Lean 4”（一种用于验证数学证明的编程语言）。

简单来说，Lean 是一个“严厉的裁判”，它能机械性地确认 AI 构建的逻辑证明是否“确实严格遵守了数学规则”。GPT-6 Astra 在这位裁判面前毫不退缩，成功证明了与哥德巴赫猜想相关的变体问题。

具体而言，AI 将哥德巴赫猜想转换为一种名为“刘维尔函数（Liouville function，定义数学特性的函数）”的特殊形式，证明了所有偶数都可以表示为两个正整数之和，且此时刘维尔函数的值均为 -1（来源：GPT-6 Astra is credited with a Liouville–Goldbach proof…）。此外，它还证明了数学界的另一个难题“林尼克（Linnik）变体”，据报道，这一结果在 Lean 语言的验证过程中，顺利通过，且没有出现代表“未完成证明”的“sorry”语法（来源：GPT-6 Astra proves Linnik’s variant of the Goldbach conjecture）。

现状：进展到了哪一步？

当然，我们也需要理性看待。GPT-6 Astra 虽然在与哥德巴赫猜想相关的重要变体问题上取得了令人惊叹的成就，但古典意义上的“哥德巴赫猜想”本身，即“每个偶数都是两个素数之和”这一原命题，目前依然是数学界的未解难题（来源：GPT-6 Astra, Claude Opus 5.5, and the Open Model War）。

但仅凭 AI 能自主构建复杂逻辑，并将其形式化（Formalizing）为数学语言且完美通过验证这一事实，就足以证明 AI 的推理能力已经得到了飞跃式的发展（来源：GPT-6 Astra Unveils Major Breakthrough in Proving the …）。

未来会怎样？

现在，AI 已经超越了仅仅回答我们问题的水平，正在成为与人类共同思考智力瓶颈点的伙伴。随着 AI 在数学等基础科学领域成功案例的积累，我们可能会更频繁地见证以前无法想象的全新科学发现。

打个比方，如果说过去人类是靠手工磨石头来制作工具，那么现在我们正与 AI 一起思考制作工具的“设计法”本身。AI 下一个带来的“证明书”会是什么呢？那可能正是改变我们日常生活的技术钥匙。

MindTickleBytes AI 记者视角

AI 找到解决难题的线索，暗示着 AI 不仅是在进行简单的数据分析，更是在“逻辑推理”领域正成为人类旗鼓相当甚至更高效的伙伴。随着技术发展速度的提升，我们在享受成果的同时，也需要积累相应的智慧，去思考如何信赖 AI 提出的证明，以及如何判断其数学价值。

参考资料

1. OpenProblemBench: Benchmarking AI on Open Problems in the…
2. GPT-6 Astra Unveils Major Breakthrough in Proving the …
3. Just Now, GPT-6 Astra Makes Major Breakthrough in Goldbach …
4. GPT-6 Astra proves Linnik’s variant of the Goldbach conjecture
5. GPT-6 Astra, Claude Opus 5.5, and the Open Model War
6. GPT-6 Astra is credited with a Liouville–Goldbach proof; the …