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 首次在一个数学领域的核心开放问题上做出原创性贡献，且方法路径与人类数学直觉没有明显交叉。

openai.com

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 的加入是在向前端延伸——他们在为一次规模更大的训练运行做人才准备。

x.com

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 最直接的公开记录之一。

www.bloomberg.com

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 部署的真实边界：「确定性强、可回测的场景可以跑——票据系统、承保、文件审查；开放性强、输入不可预测的场景仍然容易失控。」他同时指出问题的本质：「模型质量在持续提升，企业的部署能力没有跟上，差距在扩大。」

thenewstack.io

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 创意工具链	Google
企业服务	金融行业 AI Agent 模板 + 服务公司落地	Anthropic + OpenAI
公司	裁员 8000 人 + 员工行为数据训练 AI 丑闻	Meta
公司	裁员 3000 人，押注 AI Agent 重组	Intuit
政策	AI 行政令在签署前数小时被叫停	美国白宫
安全	VS Code 插件供应链攻击，3800 个仓库被窃	GitHub / OpenAI / Mistral