10月12日 X 时间线：Karpathy 说 AI 认知差距正变成漏斗，数学界争论没人看懂的证明算不算数

这一期梳理的是北京时间 2026 年 10 月 11 日 09:04 到 10 月 12 日 09:04 这 24 小时里，407 个关注账号的公开讨论。授权接口本轮分 9 批全部读取成功，返回 7,769 条记录，去重后落在窗口内的样本 769 条，来自 125 个账号。接口按账号只返回近期片段，很多账号的抓取上限是 20 条，所以这是一份窗口样本，不能代表每个账号过去 24 小时的完整历史。

当天互动量最大的一簇，是 Andrej Karpathy 重提他四月那条帖，说 AI 能力的认知鸿沟正在变成一个陡峭的漏斗1。他把人群分成四层：约 60 亿人几乎没接触过大模型；10 亿到 20 亿人偶尔用免费版，看到的只是个笨拙的聊天机器人，数学与编程之外的专业人士和公司高管大多也停在这一层；约 2,000 万人在编程和数学里专业使用前沿模型，亲眼看到过去要几周几个月的项目一段提示词就能做完；只有约 5,000 人能用到内部系统，看到的是成千上万智能体协作数周、批量挖零日漏洞、推进数学前沿，而人类的审阅与理解开始落后。他给出三个成因：问题本身够不够大、能力只在能自动验证且有经济价值的领域冒尖、以及你能用到哪一档。Elon Musk 与 kloss_xyz 各自转发了这条2。长期跟踪前沿模型的观察者 kimmonismus 说，他在巴黎跟人聊天才发现对方完全不知道模型已经能做什么，也没听说过 OpenAI 解决了一个千禧年大奖难题、最近解了 372 个数学问题，他的原话是「我们现在住在一座象牙塔里」3。宝玉的中文解读补了一句更实用的判断：2,000 万这个数他觉得自己要除以十，但结论成立——只偶尔用免费版的人，看到的离最前沿差了好几层，而「这一年没什么进步」的感觉也不算错4。Aakash Gupta 拿登顶珠峰的约 7,500 人作参照5。

Elon Musk 亲自给 xAI 的手机端个人智能体 Grok Bot 带货，说它像「雇了一个 24/7 在线、非常机灵的超级聪明员工」，几分钟就能上手6。他引用的一条用户实测记录了完整过程：全网缺货、连 Apple 都要等到 10 月底的 iPhone 18 Pro Max，用户 Liam 给 Grok Bot 一张虚拟卡让它去找，它自己给门店发邮件、找到库存、验证并下单，最后送到家里7。另一个账号 milichab 转发了马斯克这条8。同一天还有一条技术侧的信号：Riley Brown 演示了用 Anthropic 的 Claude Code 反向控制 GrokBot，通过 grokbot-webhook 技能把「查 X 上的资料」交给 GrokBot，Claude 等它答完再继续干活9。同簇里，开发者 turingou 把「让不同智能体互相聊天」的脚本整理成开源项目，理由是现在的个人智能体大多只有一台云端电脑，够不到家里的电器，也连不上只有局域网才能访问的设备10。

数学界这一天的争论更集中。陶哲轩 10 月 9 日晚在加州理工做公开演讲《Math 2.0》，10 月 10 日把幻灯片贴到博客，并说明这场演讲原题是「机器辅助证明」、原定五月举行，因为最近发生的事被大幅改写11。他演讲里有一张思想实验幻灯片：假设 AI 按要求找到一种通过三期临床试验的癌症疗法，但没有人真正知道它是怎么来的——那么在你把它注入血管之前，你想不想知道至少有一位人类专家理解其中机理？Andrew Curran 拍下这张幻灯片并给出反方意见：如果疗法真的有效，几乎任何四期癌症患者都会告诉你，人类是否理解它的机理与他们无关12。这条帖被 Zhuohan Li 在窗口内转发13，原帖一天内拿到 1.4 万赞、350 万浏览。另一位用户 jfischoff 用医学界的类比回敬：医学界本来就在开没人搞得懂的药14。当事者的反应更直接：菲尔兹奖得主 Hugo Duminil-Copin 说「周二晚上我哭了，把我女儿吵醒。他们把我们这个研究领域彻底摧毁了」，他手上有 16 个问题是 OpenAI 声称已经解决的，他还说一些数学家以后可能宁愿不公开自己的问题15，这段来自法国《世界报》10 月 10 日的报道16。学者 Julian Togelius 的长帖讲了更让人不舒服的一层：在那些讲 AI 让自己行当变得惊人地好、当事者痛苦的帖子下面，总有人让他接受自己被淘汰；他的回应是，如果黎曼猜想的证明最后没有一个人理解，它本身没有意义17。Ethan Mollick 贴出一张 Epoch AI 的统计：数学论文中声明使用 AI 的比例最近几个月从个位数升到接近 38%18；Claude Code 团队的 Thariq 表态，不该满足于一个不可解释的超级智能19。

OpenAI 的 28 天日更走到第 6 天和第 7 天。第 6 天是一次全球范围的额度重置，负责 ChatGPT 与 Codex 的 Tibo 在预告后确认重置已经全量生效20。第 7 天把 GPT-6.1 Sol 在 Codex 和 ChatGPT Work 里的默认上下文长度从 272k 提到 500k，涨幅约 80%，理由是这样能减少会话压缩、有利于需要长时间保留大量上下文与细节的任务，最大仍可手动开到 1M21；同一天还宣布从订阅额度里使用长上下文不再单独收费22，并提到已经有 100 万个 Dots 在替用户干活23。夹在中间的一场投票值得一提：他问 Pro 用户更想要什么——在 100/200/500 美元档位把额度翻倍、代价是恢复 5 小时限流，还是维持现状；结果与他的预期相反，他公开说自己被结果搞糊涂了24。

当天还有一个具体样本说明前沿模型已经到了哪一层。开发者 wheresryan22 发布开源项目 Anatomy：用一句话描述一台机器，Claude 就把它变成可旋转、可检视、可探索的等距线框模型，带火、水、等离子等 WebGL 着色器效果和真实的 3D 运动，各个部件单独转动；它能作为一个 agent skill 安装，完全开源25。这条被 YC 的 yoheinakajima 转发并拿到 107 万浏览26，Vercel 的 rauchg 评论「这就是学习的未来」27。

多位重度用户在同一天报告，Anthropic 的请求疑似已经被路由到新的 Opus 5.5 检查点：版本名没变，但能力明显变强28。给出自查方法的是用户 koltregaskes，他提醒大家「检查一下你是不是已经拿到新的 Opus 5.5」29；同一天也有大量讨论说 Fable 5 正在被路由到新模型30。实测方面，Riley Brown 说这一条视觉解读只用了一条提示词31。需要说明的是，窗口内没有任何 Anthropic 官方帖确认新模型，以上都是用户侧的实测与自查线索。

片尾推荐的五个账号都出现在今天的讨论里，且目前都不在关注列表：@wheresryan22 是 Anatomy 的作者25；@AndrewCurran_ 拍下并发布陶哲轩那张思想实验幻灯片12；@togelius 写了那篇要求证明被人理解的长帖17；@liam_fallen 第一手记录了 Grok Bot 替他在缺货时买到手机7；@koltregaskes 最早提醒检查是否已被切到新的 Opus 5.529。