如果支撑当下网络安全、数字通信与金融体系的数学根基，在AI看来不过是一捅就破的纸糊屏障，这个世界将会怎样？2026年10月，硅谷和学术圈几乎同时被一场强震击中。
结论先摆出来：OpenAI借助一个尚未对外开放的内部模型，向互联网集中释放了719篇数学手稿，攻破或推进了372个久拖未决的数学难题家族。数学界尚在消化这批推导时，信息安全与密码学圈已经先一步绷紧了神经。约翰霍普金斯大学密码学家Matthew Green在社交平台上留下一句短评，很快在学界与产业界扩散开来：“我认为，我们可能会失去公钥密码学。”随后，以太坊研究员喊话要为潜在风险预备“地堡模式”（Bunker Mode）；V神（Vitalik Buterin）撰长文评估防御底线；科技媒体《The Information》给出的标题则是《OpenAI的数学突破令密码学领袖陷入不安》。
最耐人寻味之处在于：逐篇翻阅这719篇公开论文，其中没有任何一篇宣称破解了现行加密算法。既然一篇都没有，站在密码学塔尖的专家究竟在担忧什么呢？
10月6日低调上线的openai/math仓库里装了什么
10月6日，OpenAI在GitHub上线了一个名为openai/math的开源仓库，既无发布会，也没有线上直播。《大西洋月刊》把仓库里的内容比作对人类纯数学领域的一次“地毯式轰炸”：过去，一位顶尖数学家耗费数年，只为证出某个开放猜想中的一条局部引理，就足以登上顶刊；而这回，OpenAI的内部模型对约4000道开放数学难题发起密集尝试，最终输出719篇手稿，归入372个结果家族。
紧接着是对算力成本的认识。OpenAI在说明文档里写明，求解这类复杂证明时，每道题消耗的算力大致等同于ChatGPT Pro连续思考三个小时。也就是说，喝杯咖啡、看场电影的时间，AI就越过了人类需要数十年才能跨过的思维距离。
但德克萨斯大学奥斯汀分校计算机科学系主任、量子计算领域知名学者Scott Aaronson翻完目录后，察觉出一丝异样。他用福尔摩斯探案集里“夜里没有叫的狗”作比：整整372个结果家族中，密码学这一极为关键的数学分支竟然完全不见踪影。要知道，就在两个月前的8月1日，OpenAI刚发布过《数学与理论计算机科学十项进展》报告，当时还把格密码学（Lattice Cryptography）高调列为重点突破方向。为何到了10月成果集中爆发时，密码学反而像是被有意擦掉了？Aaronson随后披露一条令人不安的消息：按照他可靠消息源的说法，多家AI实验室已开始谨慎而低调地测试，看自家最新的内部模型能否直接击穿人类现有的重要加密协议。“缺席”本身由此成为各方关注的核心——假若AI真在密码分析上取得实质进展，出于全球信息系统防御与安全审慎的考虑，任何机构都不会贸然公开。
公钥密码学的安全底座，为何会被AI数学能力牵动
普通读者或许会问：AI会做奥数、能证猜想，跟微信转账、网银付款有什么关系？关系相当密切——现代互联网的信任基础，本质上是以“数学有多难”充当防盗门。每次你打开带小锁图标的加密网页、完成身份认证或线上支付，背后运行的都是一套名为“公钥密码学”的机制。其原理像一把特殊挂锁：上锁极容易（正向计算），任何人拿到你的公钥都能“咔哒”一声把锁扣上；撬开极困难（反向求解），没有私藏的私钥，哪怕全世界最强的超级计算机联手，也要算到宇宙终结。这种“正着算像小学乘法、反着算像海底捞针”的数学机关，在密码学里称为陷门函数。
例如广泛使用的RSA加密，依赖“两个超大质数相乘容易、把大数分解质因数极难”；主流数字签名采用的椭圆曲线算法（ECDSA），以及为防范未来量子计算而设计的“格密码”，本质上都在复杂数学空间中构造了一道正向极易、逆向极难的障碍。但这里藏着一个人人心照不宣的事实：从未有人真正在数学上绝对证明过，这些难题不存在“捷径”。我们之所以觉得安全，只是因为过去几十年里最聪明的数学家绞尽脑汁，也没能找到快速拆解的办法。
如今变量出现了。当一个AI模型思考三小时就能轰开几百道人类卡了几十年的数学关口，密码学家不得不面对一个尖锐问题：万一那些保护着全球百万亿美元资产的数学难题，其实存在一条隐秘的几何捷径，只是人类没看见，而AI恰好看见了会怎样？一旦AI找到这条捷径，不必等昂贵的量子计算机问世，现有普通显卡集群就能在几天内算出你的私钥。到那时，加密通信形同透明玻璃，数字金库的大门将直接敞开。
“地堡模式”与反驳：两派到底在争什么
讨论升温后，技术社区反应尤其迅速。10月7日，以太坊研究员Justin Drake率先发出警示，发表长文呼吁团队冷静评估，必要时为可能出现的密码分析突破准备“地堡模式”（Bunker Mode）。他的建议相当激进：大额数据与关键系统的管理者应把公钥暴露降到最低，尽早迁移到从未签名过的新地址（只要不向外发送签名，公钥就仍藏在更安全的单向哈希之下）；同时呼吁安全领域加速探索，全面转向基于哈希（Hash）的签名方案。
数小时后，以太坊创始人Vitalik Buterin（V神）亲自下场。他的态度颇为微妙：既给当天的恐慌降温，又往更深的火堆里添了一把柴。首先，V神不赞成外界手忙脚乱地仓促改动现有系统——结合自身技术经历，他指出仓促迁移或不成熟的系统改动带来的操作失误与运维故障，往往比潜在的理论威胁更具破坏性。但紧接着，他给出一个更尖锐的判断：别以为换成“抗量子”的格密码就万事大吉。原因在于，无论椭圆曲线还是格密码，在数学上都带有精巧的“代数结构”；只要有结构、有规律，就等于给AI留了抓手，AI有可能在两年内把这些方案的安全厚度大幅削薄。相比之下，真正让AI无从下手的只剩哈希函数（Hash）。若把带结构的公钥密码比作“拧魔方”，看起来再乱也有还原公式；哈希函数则像把文件扔进碎纸机再点火烧成灰，其中没有任何几何结构可供AI投机取巧。
然而，“地堡模式”的讨论掀起波澜之际，不少资深密码学研究者并不买账，迅速发文反驳。著名密码学家Yehuda Lindell公开发布多条推文，严辞指出这类悲观断言缺乏依据，属于没有事实支撑的恐慌渲染（FUD）。密码学先驱、Hashcash发明者Adam Back也直接回击Matthew Green的悲观论调：“值得怀疑。难道你觉得 P=NP 吗？有些问题在根本上就具有更高的计算复杂度，加速数学能力并不能改变这一点，就像它改变不了万有引力一样。”
拨开情绪迷雾，双方分歧的核心其实很清楚：Lindell与Back讲的是“科学事实”——迄今没有任何公开证据表明AI攻破了哪怕一个主流加密算法；而Green与V神焦虑的是“工程速度差”。Green在后来的澄清中估算，人类真正退回“只有哈希可用、失去公钥加密”的极端世界（密码学上称为Minicrypt）的概率只有1%，对现有公钥算法失去信心的概率约为15%。真正让他睡不着的是攻防节奏极度不对称：AI可能在某个深夜突然悟出一种新数学技巧，只需3个小时；而人类要把全球几十亿台手机、银行服务器、电网终端里的加密标准全部替换一遍，至少需要10年。当进攻以小时计、防守升级以十年计，哪怕只有1%的黑天鹅概率，工程界也必须按100%的危机提前备战。
验证赤字：3篇论文因正负号错误被撤回
把视野从密码学拉回整个科学界，OpenAI这719篇手稿掀起的真正风暴，其实是一场“验证赤字”（Verification Deficit）危机。仓库上线次日（10月7日），戏剧性一幕出现：OpenAI在修订记录中承认，一篇关于“八维阿贝尔簇Weil类”的手稿出现低级的正负号错误（符号错误），连带导致另外两篇推论失守，公司不得不当场撤回3篇论文，并紧急返工修改了14篇。这正是AI时代的荒诞现实：它既能像神一样在3小时内推演出深奥定理，又能像粗心的中学生一样抄错一个正负号。
过去数学界靠人类顶尖学者义务审稿挑错，一篇大论文审上一年半载是常事；如今AI几周就能倒出700多篇论文，人类审稿人就算不吃不喝把眼睛看瞎也审不过来。菲尔茨奖得主Hugo Duminil-Copin等学者为此联名签署《莱顿声明》，警告未经核验的AI论文海啸正在扭曲整个学术生态。
为了不把传统学术期刊直接挤爆，OpenAI这次实际上走了一套全新的“制度缓冲”路线。其一，普林斯顿高等研究院（IAS）出手调解：早在发布前几个月，IAS独立运作的“数学与AI咨询小组”就给OpenAI立了规矩，绝不允许把这几百篇手稿一股脑投给传统期刊。其二，用代码代替人眼审稿（Lean 4形式化）：OpenAI在仓库里为约42%（约300篇）的核心结果配上Lean 4语言证明。Lean可以理解为一个铁面无私的“机器数学裁判”，只有把证明写成滴水不漏的程序代码并通过Lean内核逐行检验，才算真正过关；那3篇因正负号翻车的论文，恰恰属于尚未完成形式化的58%。其三，1500万美元买一张“人机缓冲垫”：10月15日，著名基础科学慈善机构西蒙斯基金会（Simons Foundation）联合OpenAI、Anthropic启动一项1500万美元（其中OpenAI出资500万）的专项计划，专门出钱、出算力，资助全球数学家消化、核验并驾驭这批AI产出的数学成果。
这套“代码即证明”的新规矩，恰好给惊魂未定的密码学界吃下一颗定心丸：在AI时代，嘴炮无用，代码为王。任何模型在拿出可经机器内核验证的破解代码之前，一切“加密已死”的说法都只是空气里的噪音；反过来，像Lean 4这样的机器验证工具，未来也将成为人类加固下一代加密协议的最强盾牌。
小结：OpenAI此次放出的719篇手稿并未破解任何公开加密算法，真正改变格局的是“三小时出证明”与“十年才能换标准”之间的工程节奏落差。密码学界最务实的应对方向，是顺着Lean 4这类形式化验证路径压低“验证赤字”，而不是在缺乏代码证据时仓促改动现有系统。