🎯 今日 Top 3（最重要，必看）

1. OpenAI 模型独立解决 80 年代数学难题：An OpenAI model has disproved a central conjecture in discrete geometry

来源：OpenAI 官方博客 · 发布时间：2026 年 5 月 20 日

摘要：

• 发生了什么（一句话）：OpenAI 的内部推理模型推翻了 Erdős 在 1946 年提出的 80 年未解的离散几何猜想，提供了无穷族的构造方案实现了多项式改进，且证明已被外部数学家验证。
• 为什么重要（一句话）：这标志着首次 AI 自主解决数学领域的著名开放问题，且该证明来自通用推理模型而非专门针对数学设计的系统。
• 对谁有影响（一句话）：对科学研究方向产生深远影响，因为模型能够保持困难推理的连贯性、跨领域连接思想，这些能力在生物、物理、材料科学、工程和医学等领域同样关键。

产品技术视角：证明来自通用推理模型而非领域特定的数学系统，意味着 AI 长期推理和跨域知识连接能力的重大飞跃。

---

2. Anthropic Project Glasswing：Claude Mythos 一个月发现 10,000+ 关键漏洞：Project Glasswing: An initial update

来源：Anthropic 官方 · 发布时间：2026 年 5 月 22 日

摘要：

• 发生了什么（一句话）：Project Glasswing 的约 50 个合作伙伴在一个月内使用 Claude Mythos Preview 发现了超过 10,000 个高严重级或关键级漏洞。
• 为什么重要（一句话）：AI 能够以前所未有的规模和速度识别和修复安全漏洞，这是网络防御范式的根本转变。
• 对谁有影响（一句话）：Project Glasswing 合作伙伴包括代表全球共享网络攻击面大部分的关键系统维护者。

产品技术视角：Mythos 完全自主地识别和利用了 FreeBSD 中的 17 年前 RCE 漏洞，证明了 AI 网络安全能力的质变。

---

3. Google I/O 2026：发布 Gemini 3.5 Flash 与 Gemini Omni，强调 Agent 与推理：Innovations from Google I/O 26 on Google Cloud

来源：Google Cloud 博客 · 发布时间：2026 年 5 月 19 日

摘要：

• 发生了什么（一句话）：Google 推出 Gemini 3.5 Flash，号称在多个基准上匹敌大型旗舰模型，同时在 agent 和编码方面性能最强，超越 Gemini 3.1 Pro。
• 为什么重要（一句话）：Gemini 3.5 Flash 以不到可比模型一半的成本提供了性能和速度的平衡，特别适合长期 agent 任务。
• 对谁有影响（一句话）：Google Cloud Next 推出 Enterprise Agent Platform 和第八代 TPU，标志着 Google 云战略向 agent 企业转向。

产品技术视角：Gemini Omni 模型在多模态和视频编辑上实现了飞跃，Google Antigravity 扩展 agent 开发能力到全组织。

---

📰 其他值得看的（5-8 条）

• Meta 裁员 8000 人加速 AI 转向，召集 7000 人进入 AI 岗位 · NPR / 5月20日

Meta 启动全球性裁员，影响 10% 的工作力共约 8000 人，同时转移 7000 人至 AI 相关角色。

• Anthropic 与 Blackstone、Hellman & Friedman、高盛成立企业 AI 服务公司 · Anthropic · 5月4日

Anthropic 宣布与三家顶级投资公司建立新的企业 AI 服务公司，并于同期推出 Claude Opus 4.7。

• Anthropic 收购 Stainless，强化 MCP 服务工具链 · Anthropic · 5月18日

Anthropic 收购 Stainless，一家专注 SDK 和 MCP 服务生成工具的公司，标志着 Agent 基础设施的垂直整合。

• OpenAI 发布 Codex 桌面应用和语音模型，与 Dell 合作企业部署 · OpenAI · 5月14日

OpenAI 推出新的实时语音模型和 Codex 移动预览，展开与 Dell 的企业混合部署合作。

• Perplexity Computer 扩展至 Mac，支持本地文件与浏览器上下文 · Perplexity · 5月中旬

Perplexity Computer 推出 Mac 版本，支持本地桌面文件、应用和 Comet 浏览器的安全连接。

• xAI Grok 推出文档生成和自定义语音功能 · xAI · 5月中旬

Grok 新增生产级文档生成（Word/PowerPoint/Excel/PDF）和自定义语音克隆功能，用户可在两分钟内克隆声音并跨 API 使用。

• Anthropic 推出 Claude for Small Business，集成 15 个业务应用连接器 · The Register · 5月13日

Claude for Small Business 将 Claude 集成到小企业已在使用的工具中，包括 QuickBooks、PayPal、HubSpot 等，通过官方连接器提供有限但直接的集成。

---

🔍 今日主题观察

Agent 和推理的双轮驱动成为行业共识：从 OpenAI 的数学突破、Google I/O 的 Agent 平台、到 Anthropic 的企业 AI 服务公司，本周的多条头条都指向同一个方向——agent 能力和强推理模式正在从实验室走向生产。与此同时，安全议题（Mythos 的 10,000+ 漏洞）也变成了核心商业杠杆，企业们意识到 AI 能够改变防御节奏。这不是孤立的产品新闻，而是生态重塑的信号。

---

⚠️ 信息来源说明

成功检索的 S 级源： - ✅ OpenAI Blog（官方新闻、数学突破完整细节） - ✅ Anthropic News（Project Glasswing、Claude 模型、企业合作） - ✅ Google DeepMind / Google Cloud Blog（Gemini 3.5、I/O 发布） - ✅ Stratechery by Ben Thompson（深度分析：inference shift、agent economics）

成功检索的 A 级源： - ✅ TechCrunch（OpenAI 数学证明、Meta 裁员） - ✅ MIT Technology Review（Anthropic Code with Claude 开发者大会） - ✅ The Verge（AI 产品动态） - ✅ The Ringer（Project Glasswing 安全影响分析）

部分不可访问： - ⚠️ Platformer、Import AI、Latent Space（付费/无法实时验证当日更新） - ⚠️ 部分中文源（量子位、机器之心等）未在本次检索覆盖范围

链接真实性：所有链接均来自可验证的官方博客、媒体发布或新闻网站，无合成/编造链接。