两页纸拿下类哥德巴赫猜想！GPT-6 Astra 引爆讨论，人类数学时代落幕了吗？

luyuanhong

两页纸拿下类哥德巴赫猜想！GPT-6 Astra 引爆讨论，人类数学时代落幕了吗？

原创  观中窥报  观中窥报  2026 年 9 月24 日 15:15  广西

近日，一则 AI 攻克百年数论难题的消息刷屏全网：GPT-6 Astra 在短短两天内，完成哥德巴赫猜想刘维尔弱形式的完整证明，整篇证明仅两页，并且通过 Lean4 形式化核验，在科技圈、股民圈掀起巨大讨论。



很多短视频标题直接喊出 “AI 攻破哥德巴赫猜想”，这里必须先澄清关键事实：本次被证明的，并不是原版哥德巴赫猜想。

原版猜想 vs 刘维尔弱形式，一字之差，天壤之别

哥德巴赫猜想（1742 年提出）：任意大于 2 的偶数，都可以写成两个素数之和。这是困扰人类近 300 年的数论皇冠，陈景润证明的 “1+2”，是人类目前距离它最近的成果。

而 GPT-6 Astra 证明的，是刘维尔函数弱化版本： 大于 2 的偶数，能够写成两个刘维尔 λ=-1 的数字之和。 简单理解：λ=-1 的数字包含素数，但也包含大量合数。弱形式命题的条件被放宽，弱形式成立，并不代表原版哥德巴赫猜想成立。

即便如此，这次成果依然具备里程碑意义。 过往同类研究，要么只能针对 “足够大的偶数” 成立，证明还要依赖尚未被证实的广义黎曼猜想。而 Astra 实现无条件证明，覆盖全部大于 2 的偶数，没有例外。 最震撼的一点：它不是依靠算力暴力穷举试数，而是自主搭建全新初等推理路径，用反证法完成逻辑闭环；整套证明通过 Lean4 机器形式化验证，无逻辑漏洞，开源代码可独立复现。

这标志着大模型不再只是检索、仿写人类已有的数学论文，而是独立生成全新的数学证明思路，AI 正式踏入前沿数学猜想探索的战场。

AI 颠覆数学研究，背后算力产业链有何机会？

当 AI 从文本生成，进化到自主推导、构造数学证明，对算力、大模型基础设施提出更高要求。 前沿数学推理，需要超大上下文、极强的长链条逻辑推理能力，对 GPU 集群、高速互联、先进封装、存储带宽都提出更高需求。 不少股民开始思考：AI 科研场景爆发，会不会拉动整条算力产业链持续景气？

但也要理性看待：

● 前沿 AI 数学能力目前仍属于实验室级突破，距离大规模商业化落地还有很长距离；

● 大模型做数学证明高度依赖模型能力与验证工具，并非万能，大量复杂数学难题依旧无法独立解决；

● 短期来看，该事件更多是技术里程碑，不会立刻转化为上市公司业绩，题材炒作波动风险极高。



写在最后：人类数学家会被 AI 取代吗？

AI 可以帮人类寻找证明思路、快速校验逻辑、完成繁琐推导，但提出核心问题、定义研究方向、洞察数学本质，依旧离不开人类数学家。

AI 更像是顶级数学家的超级助手，而非取代者。 这次 GPT-6 Astra 的成果，不是数学时代的终点，而是人机协同科研时代的全新起点。

你认为未来 AI 能否最终攻克原版哥德巴赫猜想？AI 算力这条主线，还会跑出哪些机会？欢迎评论区聊聊你的看法。

观中窥报

ysr

（如下文字和数据中的小于＜和大于＞是代表尖括号，其中的斜杠/只有在“LG/(m-1)”中间的斜杠/是除号，其他都是间隔号）
偶数/ 方根/  GM/  G/差 G-LG/ 偶数/  P/ m/ <LG/(m-1)区间理论平均值>/ LG
200/方根14.142135623731/GM是2 / G=8 /差为4/ /200 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=4.94505494505494而CLG是2.55023050407068
实际区间平均值G/(m-1)为1.6  KCLG=3.4003073387609
小根拆：
3+ 197
7+ 193
202/方根14.2126704035519/GM是3 / G=9 /差为5/ /202 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=4.99450549450549而CLG是2.57573280911139
实际区间平均值G/(m-1)为1.8  KCLG=2.57573280911139
小根拆：
3+ 199
5+ 197
11+ 191
204/方根14.2828568570857/GM是4 / G=14 /差为9/ /204 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.04395604395603而CLG是2.6012351141521
实际区间平均值G/(m-1)为2.8  KCLG=5.2024702283042
小根拆：
5+ 199
7+ 197
11+ 193
13+ 191
206/方根14.3527000944073/GM是2 / G=7 /差为2/ /206 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.09340659340658而CLG是2.6267374191928
实际区间平均值G/(m-1)为1.4  KCLG=2.6267374191928
小根拆：
7+ 199
13+ 193
208/方根14.422205101856/GM是1 / G=7 /差为2/ /208 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.14285714285713而CLG是2.65223972423351
实际区间平均值G/(m-1)为1.4  KCLG=2.89335242643655
小根拆：
11+ 197
210/方根14.4913767461894/GM是2 / G=19 /差为14/ /210 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.19230769230768而CLG是2.67774202927422
实际区间平均值G/(m-1)为3.8  KCLG=8.5687744936775
小根拆：
11+ 199
13+ 197
212/方根14.560219778561/GM是1 / G=6 /差为1/ /212 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.24175824175823而CLG是2.70324433431492
实际区间平均值G/(m-1)为1.2  KCLG=2.70324433431492
小根拆：
13+ 199
214/方根14.6287388383278/GM是1 / G=8 /差为3/ /214 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.29120879120878而CLG是2.72874663935563
实际区间平均值G/(m-1)为1.6  KCLG=2.72874663935563
小根拆：
3+ 211
216/方根14.6969384566991/GM是1 / G=13 /差为8/ /216 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.34065934065933而CLG是2.75424894439634
实际区间平均值G/(m-1)为2.6  KCLG=5.50849788879268
小根拆：
5+ 211
218/方根14.7648230602334/GM是1 / G=7 /差为2/ /218 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.39010989010988而CLG是2.77975124943704
实际区间平均值G/(m-1)为1.4  KCLG=2.77975124943704
小根拆：
7+ 211
220/方根14.8323969741913/GM是0 / G=9 /差为4/ /220 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.43956043956043而CLG是2.80525355447775
实际区间平均值G/(m-1)为1.8  KCLG=4.15593119181889
小根拆：
222/方根14.8996644257513/GM是1 / G=11 /差为6/ /222 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.48901098901098而CLG是2.83075585951846
实际区间平均值G/(m-1)为2.2  KCLG=5.66151171903692
小根拆：
11+ 211
224/方根14.9666295470958/GM是1 / G=7 /差为2/ /224 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.53846153846153而CLG是2.85625816455916
实际区间平均值G/(m-1)为1.4  KCLG=3.42750979747099
小根拆：
13+ 211
226/方根15.0332963783729/GM是1 / G=7 /差为2/ /226 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.58791208791208而CLG是2.88176046959987
实际区间平均值G/(m-1)为1.4  KCLG=2.88176046959987
小根拆：
3+ 223
228/方根15.0996688705415/GM是1 / G=12 /差为7/ /228 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.63736263736263而CLG是2.90726277464058
实际区间平均值G/(m-1)为2.4  KCLG=5.81452554928116
小根拆：
5+ 223
230/方根15.1657508881031/GM是2 / G=9 /差为4/ /230 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.68681318681318而CLG是2.93276507968128
实际区间平均值G/(m-1)为1.8  KCLG=3.91035343957503
小根拆：
3+ 227
7+ 223
232/方根15.2315462117278/GM是2 / G=7 /差为2/ /232 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.73626373626373而CLG是2.95826738472199
实际区间平均值G/(m-1)为1.4  KCLG=2.95826738472199
小根拆：
3+ 229
5+ 227
234/方根15.2970585407784/GM是3 / G=15 /差为10/ /234 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.78571428571428而CLG是2.9837696897627
实际区间平均值G/(m-1)为3  KCLG=6.51004295948225
小根拆：
5+ 229
7+ 227
11+ 223
236/方根15.3622914957372/GM是3 / G=9 /差为4/ /236 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.83516483516483而CLG是3.00927199480341
实际区间平均值G/(m-1)为1.8  KCLG=3.00927199480341
小根拆：
3+ 233
7+ 229
13+ 223
238/方根15.4272486205415/GM是2 / G=9 /差为4/ /238 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.88461538461537而CLG是3.03477429984411
实际区间平均值G/(m-1)为1.8  KCLG=3.64172915981293
小根拆：
5+ 233
11+ 227
240/方根15.4919333848297/GM是3 / G=18 /差为13/ /240 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.93406593406592而CLG是3.06027660488482
实际区间平均值G/(m-1)为3.6  KCLG=8.1607376130262
小根拆：
7+ 233
11+ 229
13+ 227
242/方根15.556349186104/GM是2 / G=8 /差为3/ /242 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=5.98351648351647而CLG是3.08577890992553
实际区间平均值G/(m-1)为1.6  KCLG=3.42864323325059
小根拆：
3+ 239
13+ 229
244/方根15.6204993518133/GM是3 / G=9 /差为3/ /244 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.03296703296702而CLG是3.11128121496623
实际区间平均值G/(m-1)为1.8  KCLG=3.11128121496623
小根拆：
3+ 241
5+ 239
11+ 233
246/方根15.6843871413581/GM是3 / G=16 /差为10/ /246 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.08241758241757而CLG是3.13678352000694
实际区间平均值G/(m-1)为3.2  KCLG=6.27356704001388
小根拆：
5+ 241
7+ 239
13+ 233
248/方根15.7480157480236/GM是1 / G=6 /差为0/ /248 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.13186813186812而CLG是3.16228582504765
实际区间平均值G/(m-1)为1.2  KCLG=3.16228582504765
小根拆：
7+ 241
250/方根15.811388300

ysr

虽然波动因子K乘以过度筛选的连乘积CLG得到的KCLG也是波动的，但是远没有超过实际值G，虽然接近但仍然有差距，不过差距变小一点而已。
但不能用于证明，做证据需要证明到无穷仍然是小于实际的。可用于证明的是绝对下限公式，我的书中早有了，上面数据中的m-1就是，是经过我证明的直到无穷都成立的绝对下限。

ysr

绝对下限公式:设偶数为M，则:y=√M,m-1=y/㏑y-1
哥德巴赫猜想解的最低值就是m-1
绝对下限公式可以用于证明，通过绝对下限公式就可以得到这个结论:偶数哥德巴赫猜想是远远成立的，解的个数的最低值是不减函数，直到无穷大都是成立的。