AI只用2页纸,竟攻下困住人类280年的数学难题!

你有没有想过，一个困了人类近300年的数学难题，可能正在被AI一步步瓦解？

不是靠暴力计算！不是靠算力碾压！

这一次，它只用了两页纸，写出了一段让数学家直呼优雅的证明。

🌀 一个折磨了人类三个世纪的幽灵

哥德巴赫猜想，你一定听过它的名字。

1742年，哥德巴赫在给欧拉的信中提出：任一大于2的偶数，都能写成两个素数之和。

就这么一句话，卡了人类近三个世纪。

从哈代、李特尔伍德，到陈景润证明「1+2」，无数顶尖头脑前赴后继，却始终摘不下皇冠上那颗最亮的明珠——「1+1」。

为什么这么难？因为素数的分布实在太诡异了。它们像一群捉迷藏的孩子，你永远猜不到下一个会躲在哪里！

🔄 数学家的「替身文学」

正面硬刚行不通，数学家们想了个聪明的办法：找一个「替身」。

他们引入了刘维尔函数，规则特别简单——

一个数包含的质因子个数是偶数，函数值就是1；是奇数，就是-1。

所有纯素数，值绝对是-1！但反过来不一定成立。

2018年，有人在数学论坛上提出一个弱化版猜想：

每个大于2的偶数N，能不能找到两个正整数，加起来等于N，而且它们的刘维尔值都是-1？

看着简单？做起来依然难得令人发指！

因为问题的核心，是要搞清楚这种正负交替的符号，在加法组合下会不会互相抵消。这关乎打通数学中「乘法积木」与「加法组合」之间的桥梁！

2024年，数学家Mangerel终于取得突破，证明了对于足够大的偶数猜想成立。

但他的证明带着两道枷锁：一是只覆盖「足够大」的数，二是严重依赖广义黎曼猜想。

换句话说，前提不成立，结论就悬了。

🚀 AI出手：两页纸给出的惊天答案

转折来了！

GPT-6 Astra和团队直接出手，把这两道枷锁全部打破！

第一天，Astra丢出一份只有2页纸的论文，宣布：无需广义黎曼猜想，可以无条件证明，所有能被4整除的正整数，都能表示为两个刘维尔值为-1的正整数之和！

💡 它是怎么做到的？

Astra用了一个极其精妙的策略——反证法。

先假设这件事不成立，然后步步紧逼，层层推导。

最妙的地方在于：它利用乘以4不改变函数值、乘以2会翻转函数值这两个简单性质，构造出一连串矛盾。

最终通过乘法与加法的交错逼近，直接违背了已有的界限定理！

整个证明，甚至高中生都能看懂推导过程！

🌟 48小时，彻底终结全偶数域

更炸裂的还在后面。

第一天搞定「4的倍数」，第二天，Astra又找到一条全新路线，直接把结论推广到了全部大于2的偶数！

没有任何「充分大」的限制，没有例外集，所有偶数，无条件成立！

它的证明思路，堪称艺术品。

• 第一步，寻找「替罪羊」：对于每个大于3的素数，都存在两个数加起来等于它两倍，函数值都是1。
• 第二步，逼出「缺陷」：把函数延拓到有限域上，因为分解不存在，局部被迫出现对称性缺陷。
• 第三步，完美的交换律！这是最惊艳的一笔——乘以-2再乘以-3，和反过来完全一样。利用这个性质让两条路径互相抵消，消灭所有缺陷！
• 第四步，向全局「传染」：用一个下降引理，把局部规则传播到整个域。
• 第五步，致命一击：既然函数变成严格乘法对象，任何数的平方值必须是1。但偏偏能找到一个素数，它是平方数，值却必须是-1。

于是，1等于-1，矛盾爆发！

把加法阻碍转化为乘法刚性，这条论证路线，简直太优雅了！

🔄 已通过形式化验证，但这不是终点

Astra还提交了Lean 4的完整形式化验证。

这意味着什么？逻辑上绝对正确！

有博主独立复核了开源版本，结果令人震撼：证明完美编译，没有任何未填补的漏洞，没有自定义公理，249个偶数的测试全部通过！

那这是不是代表哥德巴赫猜想被彻底解决了？

必须严谨地说：还没有。

目前解决的是刘维尔弱化版本。从「质因数个数为奇数的合数」跨越到「纯正的质数」，中间仍然隔着天堑。

但这绝不意味着这次突破不伟大！

在数学意义上，它为整个数论搭起了一座打通「乘法」与「加法」的宏伟桥梁，很可能就是未来攻克原版猜想的核心钥匙。

在AI意义上，这是一个历史性的奇点时刻。

我们一直以为AI擅长的是海量记忆和暴力计算。但这一次，它展现出了惊人的数学直觉和品味，像一位极具天赋的数学家，写出让人类同行直呼优雅的证明。

也许下一个被AI攻克的，就是那颗最亮的明珠。

🌈 结语

真正的突破，从来不是蛮力的胜利，而是思维的跃迁。

你觉得AI未来能独立攻克哥德巴赫猜想吗？评论区聊聊你的看法！

如果这篇文章让你有一点点收获，别忘了点个赞，分享给身边对数学和AI感兴趣的朋友！

💭 参考资料

• https://x.com/captain_sude/status/2099890355613155420
• Mangerel, A. P. (2024). arXiv:2404.12117
• 知乎相关讨论帖