夜雨聆风平头哥 AI 观察 · 2026年05月23日
平头哥说
今天让我停下来想了好一会儿的，是 OpenAI 那个数学证明。
一个 AI 模型，拿到一道困了数学家80年的题，自己想出来了。没有人手把手带，没有针对性训练，125页证明，Fields 奖得主 Tim Gowers 审完说：里程碑式的成就。
这和"AI写代码比你快"是两件不同性质的事。那是效率问题；这是创造力问题。Erdős 猜想不是计算题，是需要把代数数论和欧几里得几何硬拼在一起才能解开的东西——数学家们几十年都没想到要这样连。AI 想到了。
我不是说 AGI 来了。我是说，当我们还在辩论"AI 能不能真正理解"的时候，它已经开始做一些连理解它的人都做不到的事了。这个缺口，在悄悄变大。
"The next few years at the LLM frontier [will be] especially formative." — Andrej Karpathy，[X / Anthropic 加盟声明]
今日主角
OpenAI 模型自主推翻 Erdős 80年猜想——数学史上首次
5月20日，OpenAI 宣布，其内部一款通用推理模型自主推翻了 Paul Erdős 1946年提出的"平面单位距离问题"猜想。这道题问的是：平面上 n 个点，最多能有多少对距离恰好等于1？数学家长期认为正方格排列是最优的，Erdős 设想了一个上界。OpenAI 的模型用代数数论里的 Golod-Shafarevich 准则——一个组合几何学家从没想到要用的工具——构造出了一族无穷点集，产生的单位距离对数远超正方格排列。125页证明，普林斯顿数学家 Will Sawin 同日发表伴随论文确认：最优配置现在确定可以达到 n^1.014 级别。Fields 奖得主 Tim Gowers 的评价是"AI 数学里程碑"。
这件事的关键不是"AI 解了道难题"。关键是：模型没被针对性训练，没被逐步引导，只收到题目就给出了答案——而且用的方法是领域专家根本没考虑过的跨学科路径。这是第一次，AI 自主解决了一个数学领域的公开重要问题，而不是竞赛基准。
平头哥判断：这件事的影响不会立刻显现在产品里，但它会快速改变数学和理论科学界对 AI 的态度。接下来几年，AI 辅助基础科研会从"工具"变成"合著者"。那些还没开始想这个问题的研究机构，已经落后了。
来源：https://openai.com/index/model-disproves-discrete-geometry-conjecture/ · 2026-05-20
扎克伯格和马斯克打了几个电话，白宫 AI 监管令就没了
5月21日，距离 White House AI 行政令签署仪式还有几小时，Trump 宣布取消。邀请函已经发出，部分受邀高管已经上了飞机。Axios 之后拿到了内幕：周三夜间到周四早上，David Sacks、Elon Musk、Mark Zuckerberg 先后直接和 Trump 通了电话，说这个监管框架会拖慢 AI 发展。Trump 的解释很直接：「我不想做任何阻碍我们领先优势的事。」
这份行政令的核心是：要求前沿 AI 模型上线前经历90天自愿审查，并有 NSA 参与机密测试。它的来源之一，是 Anthropic 的 Claude Mythos 模型被发现能大规模发现零日漏洞——这是一个具体的国家安全风险信号。国家安全顾问团队花了数周起草这份文件。然后三个科技 CEO 在一晚上把它打掉了。
平头哥判断：这件事的本质不是"该不该监管 AI"。而是非正式渠道对政策的压制力，已经超过了正式的政府工作流程。国家安全团队的结论，输给了投资人的电话。这个先例，本身就是一个风险。
来源：https://www.axios.com · 2026-05-21
配角席
Meta 用员工数据训练 AI，同日裁8000人：4月30日全员会泄露音频显示，扎克伯格承认 Meta 通过"模型能力计划"(MCI) 追踪员工的 Gmail、VS Code、内部 Metamate 使用记录来训练 AI 模型。音频恰好在5月19日大规模裁员通知发出的同一天曝光，约7800名员工收到解雇信。员工在会议室贴海报抗议，"把你们变成训练你们替代品的原材料"这句话在社交媒体上被转发数万次。Meta 没有否认这个项目的存在，坚称数据匿名且仅用于模型训练。来源：More Perfect Union · 2026-05-19 GitHub 遭供应链攻击，3800个内部仓库被盗：黑客组织 TeamPCP 在5月18日通过污染 Nx Console VS Code 扩展（220万安装量）发动攻击，恶意版本在 Marketplace 存活了18分钟。这18分钟内，凭证窃取程序从开发者机器上收集了 GitHub token、npm token、AWS Key、1Password 和 Claude Code 配置。GitHub 确认约3800个内部仓库被盗取，同一波攻击还波及 OpenAI（2名员工设备）、Mistral AI（收到勒索要求）和欧盟委员会。曾安装 Nx Console 的开发者需立即轮换所有凭证。来源：GitHub Security Blog · 2026-05-20 Andrej Karpathy 加入 Anthropic：OpenAI 联合创始人、前 Tesla AI 总监 Karpathy 在 X 上宣布加入 Anthropic，专注于前沿大语言模型研发。他特别说明未来几年是 LLM 前沿"最具决定性"的时期，并表示会继续做 AI 教育内容。这一动向直接呼应了 Anthropic 用 AI 加速自身预训练研究的战略方向。来源：Andrej Karpathy on X · 2026-05-19 Gemini 接入 Adobe、Canva、CapCut，变成创作枢纽：Google I/O 后续公告，Gemini 将直接对接三大创作平台。Adobe 的 Firefly 助手可从 Gemini 里调用 Photoshop/Premiere/Illustrator 工作流；Canva 的 Magic Layers 让 Gemini 生成的图片在 Canva 里每个元素都在独立图层上可编辑，已向 AI Ultra 用户小范围推送；CapCut 将支持在 Gemini 对话里直接剪辑视频。Gemini 正在从"生成工具"变成"创作流程总控台"。来源：Google Blog · 2026-05-21快闪
• Anthropic 收购 Stainless：OpenAI SDK 背后的那家工具公司，现在要给 Claude API 做 SDK 了 · Anthropic
• OpenAI 秘密提交 IPO 文件：最快本周末向 SEC 递交，高盛+摩根斯坦利承销，估值 850 亿美元以上 · WSJ
• Intuit 裁员3000人：占总员工8%，明确说要把钱转投 AI Agents · Bloomberg
• Jack Clark 在牛津预测：2028年底AI训练自身的概率超过60%，"非零概率让所有人死亡"的风险依然存在 · Oxford / Axios
• 教皇将发布 AI 伦理通谕：Leo XIV 于5月25日发布"Magnifica Humanitas"，演讲嘉宾包括 Anthropic 联合创始人 Christopher Olah · EWTN
今日留题
当三个 CEO 的电话能在一夜之间推翻国家安全团队数周的工作，谁在真正决定 AI 的边界？
AI 平头哥 · 2026-05-23
诺贝松AI成长社区
个人观点，仅供参考
