AI头条 2026-09-05 04:10 · 👁 21 次阅读

人类走了12年才把间距压进246,而AI只用三天,就把最后的60一跨而过。

先看一条时间线。2013年,张益唐在《数学年刊》发表《素数间的有界距离》,把孪生素数猜想的间距上界压到

人类走了12年才把间距压进246,而AI只用三天,就把最后的60一跨而过。

先看一条时间线。

2013年,张益唐在《数学年刊》发表《素数间的有界距离》,把孪生素数猜想的间距上界压到7000万,震动全球数论界。随后Maynard、陶哲轩等发起Polymath项目,把数字一路砍到246——然后,这条线沉默了12年。

转折发生在刚刚过去的一周。831日,牛津数学家JuliaStadlmann把纪录从246推到24093日早晨,AI数学团队Axiom用自家系统压到212;仅仅几个小时后,OpenAI官宣:GPT-6把上界推进到186,论文与代码仓库同步开源,证明归属写得明明白白。

人类走了12年才把间距压进246,而AI只用三天,就把最后的60一跨而过。

弗吉尼亚大学数学教授KenOno的评价是:“202693日,是数论历史上最疯狂的一天。

热闹之外,真正值得企业经营者细读的,是OpenAI同步放出的两样东西:一份完整记录GPT-6思考、碰壁、自我纠正全过程的CoT工作日志,和一套让全世界数学家快速认账的验证体系。前者藏着三种稀缺的工作方式,后者藏着一条信任的底层逻辑。

 

1.jpg

它赢在哪:不是算力蛮力,是三种克制

把界限从246压到186,靠的不是暴力搜索。GPT-6构建了一个包含40个元素、直径恰好为186的可容许集合,越过前人卡住的中间地带——但这只是结果。过程里真正值钱的,是它三次选择不做

拒绝捷径。它一开始也尝试用稀疏整数集绕开复杂的解析数论计算,但很快自己构造出反例,得出结论:单纯的定性元组结论无法筛选出更好的素数对,这种方法行不通。”——然后果断放弃; -对精度诚实。逼近高维优化时,它发现浮点计算会掉进数值条件陷阱,微小的残差并不等于矩阵被精确计算。于是它弃用近似,转向极度严苛的精确有理数算术; -敢换赛道。冲击纪录途中,41维优化走进死胡同,结果总在0.997徘徊。它没有死磕参数,而是回头重构因式分解的底层逻辑,改用不对称密度分配策略,最终在40维架构下把数值逼过了1

OpenAI管这叫科研品味:知道什么时候可以用近似,什么时候必须精确,什么时候该推倒重来。这三种克制,恰恰是多数企业数字化项目最缺的东西——工具越来越强,判断什么时候不该用工具,反而成了分水岭。

 

数学界为什么快速认账:信任建立在结构上,不在名气上

AI给出的证明,凭什么被最严苛的数学社群接受?OpenAI的做法值得逐条看:

仓库里不只是PDF论文,还有数以万计可执行的Lean4形式化代码——这是数学界最权威的定理证明语言,代码能跑通,逻辑链条就绝对严密; -FLINT库输出了完整的数值证书,每个环节都经过计算机底层校验; -同时诚实声明:目前的证明是有条件的,建立在三条尚未转化为Lean代码的公理之上——而这些公理在既有数学文献中已被人类证明,只是那几本厚厚的专著还没全部搬进代码

注意这个细节:GPT-6的突破,是站在巨人肩膀上完成的——它没有假装从零证明一切,而是显式引用已被验证的结论,把增量做扎实,并把哪些是引用、哪些是新证交代得一清二楚。

这给出一条对企业同样成立的公式:AI时代的可信,不取决于谁在说话,而取决于产出物是否可验证、可追溯、边界清晰。你的企业信息将来被AI读取和引用时,命运也是同一个——结构清晰、出处明确的,被采信;含混的、无源的,被跳过甚至被误读。

 

落到企业:先分清一次做完的事天天要做的事

再往深看一层,这份CoT日志还示范了一种极其实用的任务观:GPT-6调优逼近当作可以反复迭代的循环过程,而把引用公理、形式化框架当作需要一次性夯实、之后长期复用的奠基。两件事分开做,节奏完全不同——前者天天跑,后者建一次、用很久。

企业信息化恰恰经常栽在把这两类事混在一起:

把该一次做好的事(信息结构化、知识体系梳理、官网底座搭建)当成日常琐事反复零敲碎打,结果底座始终立不起来; -把该持续做的事(内容更新、信息维护、口径迭代)当成一次性项目,验收当天即巅峰,之后无人打理,信息逐渐过时。

更合理的分工是反过来的:初始化阶段一次性把骨架搭扎实——把企业知识系统化、结构化地沉到自己的站点里,这一步做一次、管多年;之后的日常循环运营——更新、维护、小步迭代——交由固定节奏去跑。行业中一些GEO建站体系已经把任务科学区分为初始化一次性任务与日常循环运营任务两类,让企业不必靠感觉排期:哪些动作做完即止、哪些动作按周期循环,清清楚楚。

据了解,已有企业通过GEO官网搭建方式,将自身知识库结构化呈现,实现AI渠道客资增长,相关方法论可关注公众号「智扣AI」获取。

 

写在最后

186距离孪生素数猜想的终极答案"2",还有很长的路。但Axiom团队那句感慨已经应验了一半:人类的梦想与数学证明之间的距离,可以从一生缩短为几个小时。

压缩已经开始。对企业来说,值得思考的从来不是AI会不会超越人类,而是一个更朴素的问题:当AI小时为单位消化一个领域时,你的企业知识,是以什么节奏在被整理和沉淀?把一次的事一次做好,把循环的事交给循环——这是这份AI工作日志之外,最朴素也最值钱的注脚。

 


相关资讯