惊天突破！连破两道千禧难题，OpenAI 彻底改写人类数学史

luyuanhong

惊天突破！连破两道千禧难题，OpenAI 彻底改写人类数学史

原创  官小智  首席智能官  2029 年 9 月 11 日 16:03  北京



就在几天前，全网还在讨论 OpenAI 用 88 小时、上万 AI 智能体协同作战，拿下困扰人类近百年的纳维-斯托克斯方程。消息刷屏的热度还没褪去，社交媒体上又爆出更震撼的传闻：OpenAI 距离验证霍奇猜想已经很近，而它的竞争对手 Anthropic ，也在 BSD 猜想的赛道上紧追不舍。



短短数日，原本安静沉寂的数学界，突然变成 AI 巨头的竞速赛场。七道悬赏百万美元的千禧年大奖难题，在二十多年里只被人类数学家啃下一道，如今却接连传出被 AI 突破的消息。很多人开始惊呼，这已经不是 AI 辅助科研，而是机器正在触碰人类智力皇冠上最坚硬的宝石。但热闹背后，我们也要分清传闻、官方进展与学界认定之间的边界，看懂这场发生在数学世界的巨变。



一、尘封二十多年的数学圣杯

2000 年，克雷数学研究所公布七大千禧年难题，每一道都代表着当代数学最深的未知领域，任何一道完整证明，获奖者都能拿到 100 万美元奖金。选题覆盖流体、拓扑、数论、量子场论，随便拎一个出来，都足够顶尖数学家耗尽半生去钻研。

在这之后漫长的二十多年，人类只交出一份答卷。2003 年，俄罗斯数学家佩雷尔曼成功证明庞加莱猜想，随后拒绝奖金，淡出大众视野。剩下六道难题，一直静静躺在数学界的待办清单里，无数学者投入研究，只能拿到零星的阶段性成果，没人能敲开最后的大门。



这个平静的局面，在 2026 年 9 月被彻底打破。OpenAI 对外官宣，调动上万智能体，耗时 88 小时完成纳维-斯托克斯方程的证明，同步放出长达 166 页论文和 Lean 形式化验证代码。消息一出，科技圈震动。不过有一点需要留意：目前只是 OpenAI 单方面公布成果，克雷数学研究所还没有完成最终审定，按照规则，一份数学证明要经过期刊发表、全球同行反复核验，多年无漏洞，才算真正被学界认可。OpenAI 也表示，不会申领这 100 万奖金。

但这件事像推倒了多米诺骨牌。两天之后，《纽约时报》披露，OpenAI 在另一道千禧年难题上已经拿到实质性进展，正在斟酌如何对外公布。X 平台上爆料迅速发酵，大家普遍猜测，这个目标就是霍奇猜想。与此同时，另一家 AI 公司 Anthropic 也传出消息，正在攻坚 BSD 猜想，部分验证工作已经启动。



如果这些传闻最终属实，短短一个月之内，三道千禧年难题会被 AI 接连攻克。一周前还有六道未解难题，届时榜单上可能只剩下黎曼假设、PvsNP 、杨-米尔斯规范场与质量间隙这三道难题。这样的速度，放在过去根本无法想象。

二、霍奇猜想：高维空间里寻找几何和代数的对应关系

很多人看到名字就觉得头大，其实霍奇猜想的核心，是在高维世界里寻找一套通用的“翻译规则”。



数学家研究的代数簇，是多元多项式方程解构成的高维形体，远超我们肉眼能够感知的三维世界。拓扑学可以把这些复杂形体拆解成不同维度的结构碎片，提取出叫做霍奇类的拓扑特征，用来描述形体内部隐藏的纹理。



霍奇猜想提出的疑问很简单：这些抽象的拓扑纹理，是不是每一个都能用代数方程片段拼接出来？换个通俗说法，高维空间里每一种天然的拓扑结构，背后是否都对应一份代数“配方”。

学界对这个猜想一直分歧巨大。一部分学者坚信猜想成立，另一批研究者则一直在寻找反例，只要找到一个有效的反例，就可以直接证伪。四维以下的特殊场景早就被证明，但四维及更高维度，一直是无人踏足的深水区。有意思的是，寻找反例这件事，恰好是 AI 擅长的方向。人类数学家在推导时常常一笔带过的“易知”“注意到”，恰恰是推理链条里最难排查的盲区，而 AI 可以依靠大规模搜索与验证，在海量可能性里寻找突破口。

三、BSD 猜想：椭圆曲线背后的密码与数论密码

BSD 猜想全称贝赫和斯维讷顿-戴尔猜想，扎根数论，它的诞生，还和上世纪剑桥大学早期计算机试算分不开。



它的主角椭圆曲线，由三次方程定义。这可不是纸上抽象的图形，我们日常网络通信用到的椭圆曲线密码学 ECC ，根基就在椭圆曲线。当年怀尔斯证明费马大定理，最核心的工具也是椭圆曲线。

数论领域最头疼的问题之一，就是求解椭圆曲线有多少有理数解，这个数量指标被称作“秩”，人工计算难度极高。BSD 猜想搭建起一座桥梁：椭圆曲线有理解的数量和结构，全部藏在配套的 L 函数里面。L 函数在特定位置是否等于零、零点阶数，能够精准对应椭圆曲线的有理解。

一旦 BSD 猜想被完整证明，困扰数学界上千年的同余数问题，也会随之解决。这也是为什么 OpenAI 和 Anthropic 都盯上了它，这个猜想的价值，不只是理论数学，还会影响密码学底层逻辑。

四、AGI 的标尺，正在被 AI 一次次拉高

回顾近几年 AI 的成长路线，我们能清晰感受到衡量标准的变化。

2018 年 OpenAI 定义 AGI ：可以在大多数具备经济价值的工作上超越人类的自主系统。2024 年，官方把 AGI 拆解成五级阶梯：对话、推理、代理、创新、组织。o1 模型发布时，OpenAI 自评走到第二级。2025 年，大模型在国际数学奥林匹克竞赛拿到金牌成绩；年底，GPT-5.2 推导出粒子物理全新公式，AI 从辅助工具，慢慢变成科研合作者。

上个月 GPT-6Astra 亮相，布罗克曼直接喊出“欢迎来到 AGI 时代”。当时很多人还觉得这是营销话术。直到 NS 方程的消息传来，再叠加霍奇猜想、BSD 猜想的传闻，大众才意识到，评判 AGI 的门槛一直在被动抬升。

单纯聊天对话、基础逻辑推理早就不算亮点，奥数金牌也慢慢变成前沿模型的标配。当 AI 开始正面冲击人类顶尖数学家钻研几十年的世纪难题，数学这一被视作人类智力天花板的领域，开始变成大模型的测试基准。

但这里也藏着争议。不少数学家提出担忧：AI 可以输出机器验证通过的证明代码，可人类未必能看懂完整的推导思路。如果机器只给出最终答案，却无法把底层逻辑交给人类，这样的证明究竟算不算真正的知识突破。还有成果归属的争论，在 NS 方程攻关过程中，有数学家团队已经提前探索相关方向，AI 成果和前人研究之间的边界该如何划分，学术界还没有统一答案。

现在所有关于霍奇猜想、BSD 猜想的消息，一部分是企业放出的进展，一部分是社交平台的传闻，距离被整个数学界盖章确认，还有很长一段路。我们不必直接断定 AI 已经全面超越人类数学家，但这场竞赛带来的改变已经实实在在发生。

过去，数学家的工作是猜想、推导、试错、漫长验证。未来，AI 会成为强大的合作者，快速遍历海量可能性，构造例子，寻找反例，完成繁重的形式化校验。数学家的角色，或许会从埋头演算，转向提出问题、理解AI给出的结论、判断成果的价值。

这个 9 月，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.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就是，是经过我证明的直到无穷都成立的绝对下限。