Karpathy说全球仅5000人见过真正的AI：1万Agent用88小时解出纳维-斯托克斯

Karpathy说全球仅5000人见过真正的AI：1万Agent用88小时解出纳维-斯托克斯

一条10月20日的早报，把两件相隔一个多月的事摆到了同一个标题下。一件是Karpathy在X上那条刷屏的“认知漏斗”：全球大约只有5000人真正接触过前沿实验室内部最强的AI系统；另一件是OpenAI那次让数学界炸锅的实验——约1万个智能体自主协作，88小时给出了纳维-斯托克斯方程（千禧年七大难题之一）的证明。几句判断先说在前面：其一，Karpathy的“5000人”他自己都标了napkin math（餐巾纸上的粗略估算），它不是一个精确统计，却精准戳中了一个正在拉大的认知鸿沟；其二，OpenAI的88小时证明是这件“顶层AI”最具体的公开样本，但它从公布那天起就伴随着“是否蹭了学者未发表成果”“智能体到底贡献了多少”的质疑，远没到“已被学界确认”的地步；其三，这两件事被并排摆出，真正要讨论的是“AI集群协作的红线”——当数千个Agent能连跑数周、自己分工、自己通信，人类该在哪里按下暂停键；其四，以上两点都还是“自述/争议中”的状态，本文只做事实梳理与边界澄清，不替任何一方下结论。

Karpathy的“认知漏斗”：5000人，与六层之外的世界

Karpathy那条推文的核心，是一张四级漏斗。最底层约60亿人（全球约75%）几乎没真正碰过大模型，对AI的印象来自新闻片段；第二层10至20亿人（约20%）偶尔用免费版ChatGPT一类产品，看到的是会幻觉、答得笨拙的聊天机器人；第三层约2000万人（0.2%）在代码和数学里专业地使用前沿模型，亲历过“一句提示词交给Agent就能干完几周大工程”的变化；漏斗最尖处，他估计全球只有约5000人（占0.00006%）能接触到实验室内部尚未对外开放的最强系统。

Karpathy是谁、为什么这话有分量，不妨交代一句：他是OpenAI最初11位创始成员之一，后任特斯拉AI总监，长期在AI狂欢期输出冷静判断。他自己给这组数字贴了napkin math的标签——意思是餐巾纸上随手算的粗账，别当精确人口普查。但微软、a16z和OpenAI各自的报告，恰好从使用深度、付费结构、企业Token消耗三个方向，给这张漏斗递了佐证。

OpenAI的88小时：1万个Agent，和一道卡了百年的方程

把漏斗最尖处那群人“看到的东西”具象化，OpenAI今年9月8日公布的那次实验是最硬的样本。纳维-斯托克斯方程是描述流体运动的基础方程，它的一个核心未解问题是：三维流体在有限时间内会不会出现速度趋于无穷的奇点。这个问题是克雷数学研究所七大“千禧年大奖难题”之一，悬赏100万美元。OpenAI的说法是：一款比GPT-6 Astra更强、尚未公开的下一内部模型，协调约1万个智能体，在启动约88小时后（9月5日）给出了证明，随后由GPT-6 Astra再用17小时完成Lean形式化验证，并同步公开166页论文与验证代码。过程里智能体被分成多组并行探索，可读取缓存的互联网、运行代码、组内互相通信，近100个智能体先用约50小时解出无外力版本的欧拉方程有限时间奇点，再把资源集中到纳维-斯托克斯上；据OpenAI披露，整个过程中智能体共发送约490万条消息。换句话说，这不是一个人写出来的证明，而是一支“机器军团”分工协作、自己讨论出来的。

图：OpenAI纳维-斯托克斯证明的时间线（OpenAI自述，2026-09）

8/28起内部模型开始训练
  ↓
首批Agent启动（约1万个，分多组并行）
  ↓ ~50h
近100个Agent先解出无外力欧拉方程有限时间奇点
  ↓ 资源集中转向纳维-斯托克斯
~88h（9/5）得出纳维-斯托克斯解法
  ↓ +17h（GPT-6 Astra）
Lean形式化验证完成

说明：图示OpenAI对纳维-斯托克斯证明过程的时间自述（来源OpenAI官方说明与央视网、中科院网信工作网等报道）：自2026年8月28日内部模型开始训练，首批约1万个智能体启动后约88小时（9月5日）得出解法，再由GPT-6 Astra用17小时完成Lean形式化验证；期间智能体共发送约490万条消息。该时间线为OpenAI单方披露，方法细节与智能体实际贡献仍受学界质疑，引用须注明“OpenAI自述”。

证明成立吗：掌声与质疑同时到来

别急着把“攻克千禧年难题”当成定论。OpenAI自己说不会去申领那100万美元奖金，而质疑从公布当天就开始。纽约大学教授、数学家布克马斯特公开指出，他与一名Anthropic研究员在相近方向已有成果，质疑OpenAI的模型是否接触过相关未公开对话数据；OpenAI否认访问其数据，但解释前后有反复，截至发稿该质疑未获独立证实。更尖锐的方法性质疑来自数学家曹-拉博拉：他认为OpenAI的证明路线与西班牙数学家科尔多瓦、马丁内斯-佐罗亚此前的方法只在某些表面相似，OpenAI“可能自己都没完全看懂就急着发论文”。菲尔兹奖得主陶哲轩把这种做法比作“露天采矿”——找到了矿，却把语境挖烂了。一个更现实的担忧是核验：166页机器生成的证明，人类数学家要花数年才能逐行验证，而OpenAI在10月6日又一次性在GitHub公开了722篇由内部前沿模型生成的数学手稿，机器产出数学的速度，已经明显快过人类理解它的速度。

真正的议题：AI集群协作的“红线”在哪

把Karpathy的漏斗和OpenAI的实验叠在一起看，早报想引出的那句话才显形：当“真正的AI”不再是单个聊天框，而是数千个Agent连跑数周、自己分工、自己通信、自己写数学甚至自己挖漏洞的协作集群，人类该在哪画一条红线。Karpathy描述的那5000人看到的前沿系统，画面正是“成千上万个Agent组成协作系统，花几周推进巨型软件项目，发现零日漏洞，以机器速度做网络攻防，推动科学发现”。OpenAI的纳维-斯托克斯证明，是这条路径上第一个被大规模公开、且附带完整论文与验证代码的实例——它证明机器集群确实能干成人类单体难以完成的严谨智力工作，也把“自主集群的边界”推到了台前。问题不在于“AI能不能协作”，而在于：集群自主到什么程度需要人类审批？谁为自主发现的零日漏洞负责？当机器产出的数学快过人类核验，学术诚信与可复现性靠什么守住？这些不是OpenAI一家的事，而是整个行业在“智能体元年”之后必须接住的问题。

诚实边界

几句话把口径摆正。其一，Karpathy的“5000人”是他本人在X上的一条推文估算，他明确标注为napkin math（餐巾纸上的粗略估算），四级漏斗的人数与比例是他的框架性判断，不是精确统计；该推文约发于2026年10月11日前后，10月20日早报为二次引述与讨论。其二，OpenAI的纳维-斯托克斯证明（2026年9月8日公布）是OpenAI单方披露，并伴随持续的学界质疑：布克马斯特质疑其是否访问学者未公开数据，曹-拉博拉等质疑证明方法与既有研究的关系，陶哲轩以“露天采矿”比喻其重结果轻理解；“攻克千禧年难题”是OpenAI的口径，证明是否成立、智能体实际贡献几何，仍待学界数年核验，不能当作已确认结论。其三，本文把“AI集群协作红线”作为被早报引出的讨论议题呈现，它是一场正在发生的公共辩论，不是任何机构的既定政策或结论。其四，两件事实发时间并不重合（Karpathy约10月11日、OpenAI为9月8日），早报将其并列属议题编排，并非指两件事同时发生。其五，本文仅做事实梳理与边界澄清，不给任何一方选型或立场建议，是否采信由读者自行判断。

这意味着什么：我们和“真正的AI”之间，隔着一个漏斗

把两件事放回各自的时点，结论反而清楚。Karpathy的漏斗提醒我们：同一年的地球上，有人还在嘲笑免费版聊天机器人答不对简单问题，有人已经在指挥成千上万个Agent连跑数周去推演数学——这两种“AI”几乎不是同一个东西。OpenAI的88小时证明则把“顶层那5000人看到的AI”第一次摊开在公众面前：它不是更会聊天的模型，而是一支能自我组织、自我通信、产出可被形式化验证的严谨成果的机器军团。无论这份证明最终能否经住学界逐行审查，它都已改变一个问题：当AI从“工具”变成“协作者”，人类要补上的不再是算力，而是治理——给自主集群画红线、给机器产出立核验、给智能体行为定责任。这，才是10月20日那条早报真正值得记住的一句话。