GPT-6 Astra 不靠算力靠“品味”，两页纸震惊数学圈

luyuanhong

GPT-6 Astra 不靠算力靠“品味”，两页纸震惊数学圈

作者｜王唯欢

导语

哥德巴赫猜想，数学界最出名的 "幽灵"。

1742 年提出，折磨了人类近三个世纪：任一大于 2 的偶数，都能写成两个素数之和？陈景润证明了“1+2”，但最核心的“1+1”，至今无人摘得。

就在刚刚，GPT-6 Astra 动手了。

网友 Captain Sude 宣布：Astra 成功证明了哥德巴赫猜想的刘维尔弱形式，还通过了 Lean 4 形式化验证。

最惊人的不是它证明了什么，而是怎么证明的。

没有暴力穷举，没有算力碾压 —— 它用一套极其优雅的逻辑推理，写出了让人类数学家直呼“漂亮”的两页纸证明。

这是 AI 第一次，像个真正的数学家那样思考。

一、283 年的幽灵，和它的“替身文学”

素数的分布太诡异了，死磕“1+1”三百年没结果，数学家们脑洞大开，搞出一套“替身文学”：

引入刘维尔函数 —— 一个数质因子个数是偶数，λ=1 ；是奇数，λ=-1 。所有纯素数（2、3、5、7、11……）的 λ 值都是 -1 。

2018 年，有人提出弱化版：每个大于 2 的偶数 N ，能否写成 a+b ，且 a、b 的刘维尔值都是 -1 ？



翻译成人话：不要求两个加数必须是“纯种”素数，只要它“质因子个数是奇数”就行。

放宽了条件，应该好证了吧？结果依然难得令人发指。

2024 年，数学家 Mangerel 终于取得突破，但带着两个枷锁：① 只对“足够大”的偶数成立；② 严重依赖广义黎曼猜想 —— 这个猜想本身也没被证明。

换句话说：站在一个没被证明的地基上，证明一个没证完的结论。

二、两页纸：AI 第一天就撕开一道口子

Astra 出场，直接丢出一份只有两页的 PDF ：

无需广义黎曼猜想，无条件证明：所有能被 4 整除的正整数，都可以表示为两个刘维尔值为 -1 的正整数之和。

它巧妙地利用了 Mangerel 论文中的一个“无条件相关性界限”，结合一个极其精妙的下降法：



假设存在一个奇数 m ，在 4m 这个规模下没有任何一对和为 4m 的数字刘维尔值都是 -1 。然后 AI 步步紧逼 —— 乘以 4 不改变刘维尔值、乘以 2 会翻转符号…… 通过乘法与加法的交错逼近，强行逼出一个矛盾。

最离谱的是：这套推导用的全是初等代数，高中生都能看懂过程。

三、第二天，直接终结全偶数域

还没完。第一天证完“4 的倍数”，第二天 Astra 又找到一条全新的初等证明路线，直接推广到全部大于 2 的偶数—— 没有“充分大” 限制，没有有限例外集，无条件成立
。
它的五步证明法，堪称教科书级的优雅：

第一步，寻找替罪羊：先假设存在素数 p 无法分解，构成“加法符号模式的缺失”。

第二步，逼迫现出原形：把刘维尔函数延拓到有限域，逼出乘法对称性缺陷。

第三步，完美的交换律：最惊艳的一笔 —— 乘以 -2 再乘以 -3，和乘以 -3 再乘以 -2 一样。AI 利用这个“可交换” 性质，让两条路径互相抵消，把所有非零缺陷全部消灭。

第四步，向全局传染：用下降引理，把局部成立的乘法规则像病毒一样传播到整个有限域。

第五步，致命一击：用二次互反律找到一个“平方数”素数，它的 G 值必须是 1 ，但作为素数刘维尔值又必须是 -1 。

1 = -1 。矛盾爆发。假设被彻底粉碎。



把加法阻碍转化为乘法刚性 —— 这条论证路线，充满了高度抽象和直觉的顶级思维。

四、不只是“算得快”，是“想得美”

这还不是最炸的。

Astra 这次还提交了 Lean 4 完整形式化验证 —— 这意味着逻辑上绝对正确，机器级别的严谨。

知乎 UP 主 @SUNNY99 独立复核：Lean 证明完美重新编译，最终定理与论文主张完全一致，代码里没有任何 "坑"（sorry）、没有乱造的公理，249 个偶数的数值冒烟测试全部通过。

一直以来，我们认为 AI 擅长的是海量记忆和暴力计算 —— 下围棋、算蛋白质折叠。



但这一次，Astra 展现出了惊人的数学直觉和品味。

它像一位极具天赋的数学家，写出一篇让人类同行直呼优雅的证明。

五、别高兴太早：真正的皇冠还没摘下

严谨地说：哥德巴赫猜想还没被彻底解决。

目前被证明的，是它的刘维尔弱化版本 —— 从“质因子个数为奇数的合数”跨越到“纯正质数”，中间仍隔着天堑。那颗最高处的果实，依然挂着。

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

数学意义上，它为数论搭起了一座打通“乘法积木”与“加法组合”的宏伟桥梁 —— 这可能就是未来攻克原版哥德巴赫猜想的核心钥匙。



AI 意义上，这是一个历史性的奇点时刻：AI 第一次在数学上展现出“品味”和“直觉”，而不是蛮力。

当 AI 开始写“优雅”的证明，人类和机器的分界线，又模糊了一分。

原创  肖焱  自由逸智  2026 年 9 月 21 日 10:29  浙江

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.8113883008419/GM是1 / G=9 /差为3/ /250 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.18131868131867而CLG是3.18778813008835
实际区间平均值G/(m-1)为1.8  KCLG=4.25038417345112
小根拆：
11+ 239
252/方根15.8745078663875/GM是2 / G=16 /差为10/ /252 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.23076923076922而CLG是3.21329043512906
实际区间平均值G/(m-1)为3.2  KCLG=7.71189704430974
小根拆：
11+ 241
13+ 239
254/方根15.9373774505092/GM是2 / G=9 /差为3/ /254 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.28021978021977而CLG是3.23879274016977
实际区间平均值G/(m-1)为1.8  KCLG=3.23879274016977
小根拆：
3+ 251
13+ 241
256/方根16/GM是1 / G=8 /差为2/ /256 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.32967032967032而CLG是3.26429504521047
实际区间平均值G/(m-1)为1.6  KCLG=3.26429504521047
小根拆：
5+ 251
258/方根16.062378404209/GM是1 / G=14 /差为8/ /258 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.37912087912087而CLG是3.28979735025118
实际区间平均值G/(m-1)为2.8  KCLG=6.57959470050236
小根拆：
7+ 251
260/方根16.1245154965971/GM是1 / G=10 /差为4/ /260 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.42857142857142而CLG是3.31529965529189
实际区间平均值G/(m-1)为2  KCLG=4.82225404406092
小根拆：
3+ 257
262/方根16.1864140562386/GM是2 / G=9 /差为3/ /262 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.47802197802197而CLG是3.34080196033259
实际区间平均值G/(m-1)为1.8  KCLG=3.34080196033259
小根拆：
5+ 257
11+ 251
264/方根16.2480768092719/GM是2 / G=16 /差为10/ /264 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.52747252747252而CLG是3.3663042653733
实际区间平均值G/(m-1)为3.2  KCLG=7.48067614527399
小根拆：
7+ 257
13+ 251
266/方根16.3095064303001/GM是1 / G=8 /差为2/ /266 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.57692307692307而CLG是3.39180657041401
实际区间平均值G/(m-1)为1.6  KCLG=4.07016788449681
小根拆：
3+ 263
268/方根16.3707055437449/GM是2 / G=9 /差为3/ /268 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.62637362637362而CLG是3.41730887545471
实际区间平均值G/(m-1)为1.8  KCLG=3.41730887545471
小根拆：
5+ 263
11+ 257
270/方根16.431676725155/GM是2 / G=19 /差为13/ /270 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.67582417582416而CLG是3.44281118049542
实际区间平均值G/(m-1)为3.8  KCLG=9.18082981465446
小根拆：
7+ 263
13+ 257
272/方根16.4924225024706/GM是1 / G=7 /差为1/ /272 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.72527472527471而CLG是3.46831348553613
实际区间平均值G/(m-1)为1.4  KCLG=3.46831348553613
小根拆：
3+ 269
274/方根16.5529453572468/GM是3 / G=11 /差为5/ /274 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.77472527472526而CLG是3.49381579057683
实际区间平均值G/(m-1)为2.2  KCLG=3.49381579057683
小根拆：
3+ 271
5+ 269
11+ 263
276/方根16.6132477258362/GM是3 / G=16 /差为10/ /276 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.82417582417581而CLG是3.51931809561754
实际区间平均值G/(m-1)为3.2  KCLG=7.03863619123508
小根拆：
5+ 271
7+ 269
13+ 263
278/方根16.6733320005331/GM是1 / G=7 /差为1/ /278 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.87362637362636而CLG是3.54482040065825
实际区间平均值G/(m-1)为1.4  KCLG=3.54482040065825
小根拆：
7+ 271
280/方根16.7332005306815/GM是2 / G=14 /差为8/ /280 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.92307692307691而CLG是3.57032270569896
实际区间平均值G/(m-1)为2.8  KCLG=5.71251632911834
小根拆：
3+ 277
11+ 269
282/方根16.7928556237467/GM是3 / G=16 /差为10/ /282 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=6.97252747252746而CLG是3.59582501073966
实际区间平均值G/(m-1)为3.2  KCLG=7.19165002147932
小根拆：
5+ 277
11+ 271
13+ 269
284/方根16.8522995463527/GM是3 / G=8 /差为1/ /284 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=7.02197802197801而CLG是3.62132731578037
实际区间平均值G/(m-1)为1.6  KCLG=3.62132731578037
小根拆：
3+ 281
7+ 277
13+ 271
286/方根16.9115345252878/GM是2 / G=12 /差为5/ /286 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=7.07142857142856而CLG是3.64682962082108
实际区间平均值G/(m-1)为2.4  KCLG=4.42039954038918
小根拆：
3+ 283
5+ 281
288/方根16.9705627484771/GM是3 / G=17 /差为10/ /288 /13 /<m为6>  区间的理论平均值LG/(m-1)为0.835714285714284  LG=7.12087912087911而CLG是3.67233192586178
实际区间平均值G/(m-1)为3.4  KCLG=7.34466385172356
小根拆：
5+ 283
7+ 281
11+ 277
290/方根17.0293863659264/GM是2 / G=10 /差为4/ /290 /17 /<m为7>  区间的理论平均值LG/(m-1)为1.05082417582417  LG=6.32676147382029而CLG是3.22570999210649
实际区间平均值G/(m-1)为1.66666666666667  KCLG=4.30094665614198
小根拆：
7+ 283
13+ 277
292/方根17.0880074906351/GM是1 / G=8 /差为2/ /292 /17 /<m为7>  区间的理论平均值LG/(m-1)为1.05082417582417  LG=6.37039431157077而CLG是3.24795626791412
实际区间平均值G/(m-1)为1.33333333333333  KCLG=3.24795626791412
小根拆：
11+ 281
294/方根17.1464281994822/GM是3 / G=19 /差为13/ /294 /17 /<m为7>  区间的理论平均值LG/(m-1)为1.05082417582417  LG=6.41402714932126而CLG是3.27020254372175
实际区间平均值G/(m-1)为3.16666666666667  KCLG=7.8484861049322
小根拆：
11+ 283
13+ 281
17+ 277
296/方根17.2046505340853/GM是2 / G=8 /差为2/ /296 /17 /<m为7>  区间的理论平均值LG/(m-1)为1.05082417582417  LG=6.45765998707174而CLG是3.29244881952938
实际区间平均值G/(m-1)为1.33333333333333  KCLG=3.29244881952938
小根拆：
3+ 293
13+ 283
298/方根17.2626765016321/GM是2 / G=11 /差为5/ /298 /17 /<m为7>  区间的理论平均值LG/(m-1)为1.05082417582417  LG=6.50129282482223而CLG是3.31469509533701
实际区间平均值G/(m-1)为1.83333333333333  KCLG=3.31469509533701
小根拆：
5+ 293
17+ 281
300/方根17.3205080756888/GM是2 / G=21 /差为15/ /300 /17 /<m为7>  区间的理论平均值LG/(m-1)为1.05082417582417  LG=6.54492566257271而CLG是3.33694137114465
实际区间平均值G/(m-1)为3.5  KCLG=8.89851032305241
小根拆：
7+ 293
17+ 283

ysr

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