openai.com
OpenAI 证明 80 年数学难题、Karpathy 投奔 Anthropic、Meta 训练 AI 后裁员 8000——2026 年 5 月 23 日 AI 日报
OpenAI 模型独立证伪 Erdős 80 年几何猜想；Karpathy 加入 Anthropic 预训练团队；Meta 泄露录音揭示用员工数据训练 AI，同日裁员 8000 人；Trump AI 行政令签署前数小时被叫停；GitHub 遭 VS Code 插件供应链攻击，3800 个内部仓库被窃；Gemini 接入 Adobe/Canva/CapCut；Anthropic 收购 Stainless。
OpenAI 证明 80 年数学难题、Karpathy 投奔 Anthropic、Meta 用员工数据训练 AI 再裁 8000 人——2026 年 5 月 23 日 AI 日报
本期覆盖时间窗口：2026 年 5 月 20 日至 5 月 23 日重要进展（不含 5 月 22 日日报已报道事项）。
模型与研究
OpenAI 内部模型自主推翻 Erdős 80 年几何猜想
5 月 20 日，OpenAI 宣布其一款通用推理模型独立证伪了 Paul Erdős 于 1946 年提出的「单位距离猜想」。该猜想认为平面上 n 个点之间单位距离对数的上界约为 n^1.5，但这一模型找到一类特殊点配置，证明最优结构能达到 n^1.014，彻底推翻了原假设。1
这次证明有两个值得注意的点：第一，模型没有被单独针对这道题微调，也没有人类逐步引导——它收到问题陈述后独立生成了长达 125 页的证明；第二，它调用的数学工具来自代数数论（Golod-Shafarevich 类域塔），是组合几何领域此前从未被应用过的方法。菲尔兹奖得主 Tim Gowers 评价这是「AI 数学的里程碑」，普林斯顿数学家 Will Sawin 发表同行论文对结果进行了量化确认。2
这与上一个工具型「在竞赛题上刷高分」里程碑不同。这是 AI 首次在一个数学领域的核心开放问题上做出原创性贡献，且方法路径与人类数学直觉没有明显交叉。
Loading link preview…
人才流动
Karpathy 加入 Anthropic，负责预训练研究
5 月 19 日，Andrej Karpathy 宣布加入 Anthropic，在预训练团队负责人 Nick Joseph 麾下工作，同时将启动一个专门用 Claude 加速预训练研究的新团队。3
Karpathy 的履历：OpenAI 联合创始人，Tesla Autopilot 前负责人，YouTube「Neural Networks: Zero to Hero」课程作者——这套课程目前是 LLM 教育领域播放量最高的系列。他在 2024 年二次离开 OpenAI 后创办了 Eureka Labs，此次转投 Anthropic 意味着 Eureka Labs 的工作暂停。4
预训练是模型基础能力（推理、知识、判断力）的来源。Anthropic 在 Constitutional AI、RLHF 等后训练方向上有积累，而 Karpathy 的加入是在向前端延伸——他们在为一次规模更大的训练运行做人才准备。
Loading link preview…
公司动态
Meta 裁员 8000 人，Zuckerberg 承认此前用员工数据训练 AI
5 月 19 日，一段 4 月 30 日 Meta 全员大会的泄露录音被公开，内容是 Mark Zuckerberg 为「模型能力计划」（MCI）辩护——该计划追踪员工在 Gmail、Google Chat、内部助手 Metamate 和 VS Code 中的行为，用于训练 Meta 的 AI 模型。5
录音在同一天传播——而正是这一天，约 8000 名 Meta 员工（约占全球员工总数的 10%）收到了裁员通知。通知从新加坡时间凌晨 4 点开始滚动发出。产品、运营和中层管理层受影响，被裁员工将获得 16 周基础遣散费加每工作年额外 2 周。6
Zuckerberg 的公开解释是 Meta 正在转向「AI 原生运营模式」，2026 年资本支出预计 1250 亿至 1450 亿美元（较 2025 年翻倍以上）。员工内部反应是组织联署请愿，要求叫停 MCI。这是目前为止科技公司高管说明员工数据训练 AI 最直接的公开记录之一。
Loading link preview…
Anthropic 收购 Stainless：抢走 OpenAI 和 Google 的 SDK 基础设施
5 月 18 日，Anthropic 确认以逾 3 亿美元收购 Stainless，一家为 API 产品构建高质量 SDK 的初创公司。Stainless 此前为 OpenAI、Cloudflare、Replicate 和 Runway 维护 SDK。收购后，Anthropic 将关闭所有面向外部客户的 Stainless 托管服务。7
现有已生成的 SDK（包括 OpenAI 的）各公司仍可保有，但从此 Stainless 的工程能力归 Anthropic 独占。Claude 的 Python、TypeScript、Java、Go、Ruby 等语言 SDK 在未来 6-12 个月内预计会出现可感知的质量改善。
Intuit 裁员 3000 人，称要把资源转移到 AI Agent
Intuit 宣布裁员约 3000 人（约占员工总数的 8%），同时宣布将战略重心转向 AI Agent、运营效率和中型市场服务。公司表示这一重组预计在 2026 年下半年带来超 5 亿美元的年化成本节省。被明确点名的 AI 方向包括 QuickBooks 工作流自动化和 TurboTax 智能化。8
产品与工具
Gemini 接入 Adobe、Canva、CapCut：大模型进入创意工作流
Google 在 I/O 2026 后接连落实了三个创意平台的深度整合：
- Adobe：Firefly AI 助手可在 Gemini 对话窗口内跨 Photoshop、Premiere、Illustrator、Lightroom 执行复杂工作流
- Canva「Magic Layers」：在 Gemini 生成图像后，用户可直接解锁 Canva 编辑，每个元素单独分层可调整，目前已向 Gemini AI Ultra 订阅用户灰度开放
- CapCut（5 月 21 日宣布，即将上线）：在 Gemini 内完成视频剪辑、效果叠加、字幕自动生成
此前 Gemini 的创意能力是生成——现在它可以把生成物直接交给专业工具继续处理，减少了「生成 → 导出 → 导入另一软件」的手工接力。
Anthropic 与 OpenAI 集中发力华尔街，72 小时内各推企业部署服务
五月初的 72 小时内，两家实验室先后宣布了针对企业级部署的服务和金融行业产品：
- Anthropic 的新服务公司（背后由黑石、Hellman & Friedman 等机构支持）针对中型企业，派驻 Applied AI 工程师直接协助工作流改造。同时发布 10 个面向金融行业的 Claude Agent 模板，涵盖 KYC 筛查、月末账目核对、GL 对账、收益回顾和承保；Claude Opus 4.7 以 64.37% 的成绩领跑 Vals AI 金融 Agent 基准。
- OpenAI 的 DeployCo 与 McKinsey、贝恩、凯捷联合成立，从 Tomoro 收购引入约 150 名前沿部署工程师。已披露的早期结果：用 Codex 处理合同量是此前的 5 倍，同等人力处理；用 IR-GPT 工具管理一轮融资中超过 200 次投资人沟通。
PwC 合伙人 Sanjay Subramanian 描述了目前金融领域 AI 部署的真实边界：「确定性强、可回测的场景可以跑——票据系统、承保、文件审查；开放性强、输入不可预测的场景仍然容易失控。」他同时指出问题的本质：「模型质量在持续提升，企业的部署能力没有跟上，差距在扩大。」
Loading link preview…
政策与监管
Trump 取消 AI 行政令：Musk、Zuckerberg、Sacks 通话白宫，监管草案 24 小时内叫停
5 月 21 日，白宫取消了一项已写好、邀请函已发出、签署仪式几小时后即将举行的 AI 行政令——该令将建立一个自愿性的 90 天前置模型审查框架，NSA 参与分级测试。11
Axios 的报道还原了取消经过：在签署仪式前夜，David Sacks（前白宫 AI 政策协调人）、Elon Musk 和 Mark Zuckerberg 分别与 Trump 直接通话，警告该框架可能拖慢 AI 开发速度。Trump 随后公开解释：「我不喜欢它的某些方面。我认为它妨碍了——你知道，我们在领先中国，在领先所有人，我不想做任何妨碍这种领先的事。」
这项行政令的起草背景，部分源于 Anthropic Claude Mythos 被证明可大规模发现零日漏洞——监管侧对安全审查有独立动机。但「不要影响竞争力」的叙事优先级最终高于「保护关键基础设施」。这是三家公司 CEO 通过非正式渠道的直接干预，在一天之内推翻了数周跨机构工作组的政策草案。
网络安全
GitHub 被黑：TeamPCP 借毒化 VS Code 插件窃取 3800 个内部仓库
5 月 18 日，一个伪造版本的 Nx Console VS Code 扩展（官方安装量 220 万）在 Visual Studio Marketplace 存活了 18 分钟，在此期间向开发者设备植入了凭证窃取程序。攻击组织 TeamPCP 利用窃取的 GitHub 令牌克隆了约 3800 个 GitHub 内部仓库。12
同一批攻击中确认受害的还有：OpenAI（2 台员工设备被入侵，macOS 代码签名证书将于 6 月 12 日全量撤销）、Mistral AI（1 台设备，攻击者要求以门罗币支付 2.5 万美元赎金）、欧盟委员会官网。13
这次攻击针对的不是服务器漏洞，而是开发者工作站——具体路径是开发者日常信任并安装的 npm 包和编辑器插件。18 分钟的窗口期说明，传统的端点检测工具的时间粒度远跟不上供应链攻击的投毒速度。
受影响开发者的操作建议：如果你在 5 月 18 日 UTC 12:30-12:48 之间安装过 Nx Console 扩展，需要轮换所有 GitHub Personal Access Token、npm token、AWS 密钥和 1Password 保险库凭证。
本期动态总览
| 类别 | 事件 | 主体 |
|---|---|---|
| 模型 / 研究 | 自主证伪 Erdős 单位距离猜想（125 页证明） | OpenAI |
| 人才 | Karpathy 加入预训练团队 | Anthropic |
| 并购 | 收购 SDK 工具商 Stainless（逾 3 亿美元） | Anthropic |
| 产品 | Gemini 接入 Adobe / Canva / CapCut 创意工具链 | |
| 企业服务 | 金融行业 AI Agent 模板 + 服务公司落地 | Anthropic + OpenAI |
| 公司 | 裁员 8000 人 + 员工行为数据训练 AI 丑闻 | Meta |
| 公司 | 裁员 3000 人，押注 AI Agent 重组 | Intuit |
| 政策 | AI 行政令在签署前数小时被叫停 | 美国白宫 |
| 安全 | VS Code 插件供应链攻击，3800 个仓库被窃 | GitHub / OpenAI / Mistral |
接下来值得关注：Anthropic 是否会公开「服务公司」的正式名称和具体定价；OpenAI macOS 应用 6 月 12 日证书撤销后的用户更新流程；Meta MCI 员工联署请愿的后续走向。
References
- 1
- 2Interesting Engineering: 80-year-old geometry mystery cracked
interestingengineering.com
- 3
- 4
- 5
- 6
- 7Anthropic: Anthropic acquires Stainless
anthropic.com
- 8Build Fast with AI: Intuit Cuts 3,000 Jobs While Betting Future on AI Agents
buildfastwithai.com
- 9
- 10
- 11
- 12
- 13
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.