AI 资讯简报 · 2026-06-02

📌 今日重点

  1. Anthropic 正式提交 IPO 申请 — 估值 $965B，超越 OpenAI 成为全球最高估值 AI 创业公司
  2. Nvidia 发布 RTX Spark “超级芯片” — 联合微软、戴尔、惠普等打造 AI Agent PC，剑指 $200B CPU 市场
  3. OpenAI AI 模型破解 80 年数学难题 — 证伪 Erdős 单位距离猜想，被菲尔兹奖得主称为"AI 数学里程碑"
  4. GitHub Copilot 新定价引发开发者不满 — 从请求制切换到 token 计费，部分用户一天用完月度额度
  5. 佛罗里达州起诉 OpenAI 和 Sam Altman — 首例州级 AI 安全诉讼，指控 ChatGPT 与暴力事件有关

🏢 公司与融资

Anthropic 正式提交 IPO 申请

  • 说明：Anthropic 向 SEC 秘密提交了 S-1 注册声明草案。此前一周刚完成 $65B 的 H 轮融资，估值达 $965B，超过 OpenAI 的 $852B。公司年化收入已突破 $47B（2025 年底为 $9B）。
  • 影响：AI 领域 IPO 竞赛正式开始。Anthropic 与 OpenAI 将在公开市场正面交锋，SpaceX 也计划 6 月 12 日 IPO。Mythos 模型向欧盟网络安全机构开放访问，可能加速企业客户增长。
  • 来源：TechCrunch · The Verge

Alphabet 计划融资 $80B 用于 AI 基础设施

  • 说明：Google 母公司宣布将出售 $80B 股票，其中 $10B 卖给伯克希尔·哈撒韦。资金将用于扩展 AI 基础设施。Sundar Pichai 此前表示 2026 年资本开支预计 $180B-$190B。
  • 影响：科技巨头 AI 军备竞赛持续升级。美国大厂今年 AI 资本开支总计预计超 $700B。
  • 来源：TechCrunch

Groq 正在融资 $650M

  • 说明：在 Nvidia $20B "非收购式收购"之后，AI 芯片创业公司 Groq 据报正在筹集 $650M。
  • 来源：TechCrunch

🤖 模型与研究

OpenAI AI 模型破解 80 年数学难题

  • 说明：OpenAI 内部模型证伪了 Erdős 单位距离猜想（1946 年提出），这是离散几何领域的著名开放问题。菲尔兹奖得主 Tim Gowers 评价其为"AI 数学的里程碑"。多伦多大学教授 Daniel Litt 称这是"第一个我自身感到兴奋的 AI 自主成果"。
  • 影响：标志着 AI 在纯数学研究中从辅助工具向独立研究者的转变。AI 利用跨领域知识广度和穷举能力弥补了人类的局限，但尚未开创全新数学技巧。
  • 来源：Ars Technica

Anthropic Claude Opus 4.8 发布

  • 说明：Anthropic 发布了 Opus 4.8，新增 “dynamic workflow” 工具。Mythos 模型持续受限访问中，已发现数千个高严重性 bug。
  • 来源：TechCrunch

Google Gemini Spark AI Agent 上手体验

  • 说明：Google 推出 Gemini Spark 24/7 AI 助手，TechCrunch 和 The Verge 的评测认为"相当实用"但"目前性价比不足"。
  • 来源：TechCrunch · The Verge

💻 开发者工具

GitHub Copilot 新定价引发强烈反弹

  • 说明：6 月 1 日起，GitHub Copilot 从请求制切换为 token 计费（1 credit = $0.01）。Pro 计划 $10/月含 1,500 credits，Pro+ $39/月含 7,000 credits，Max $100/月含 20,000 credits。GPT-5.5 模型的 1M 输出 token 费用高达 $30。部分用户报告一天内用完月度额度，有人声称费用从 $50/月飙升至 $3,000/月。
  • 影响：开发者社区反应强烈，"vibe coding"用户受影响最大。这标志着 AI 编程工具从补贴期进入商业化阶段，开发者需要更审慎地管理 AI 使用成本。部分用户开始考虑转向 ChatGPT 等替代方案。
  • 来源：Ars Technica · TechCrunch

Microsoft 正在开发 AI “超级应用”

  • 说明：据 Fortune 报道，Microsoft 正在将 GitHub Copilot、Copilot 聊天、Copilot Cowork 和新的 “Autopilot” 代理工作流整合为一个应用。
  • 来源：The Verge

OpenAI Codex 扩展至 Windows

  • 说明：Codex 的 computer use 功能从 Mac 扩展到 Windows，可以"看到"屏幕并在设备上执行任务。用户可通过 ChatGPT 应用远程管理 Codex 任务。
  • 来源：The Verge

OpenAI 弃用 ChatGPT Canvas 界面

  • 说明：Canvas（代码/文本并排编辑功能）将不再支持 GPT-5.5 Instant 和 GPT-5.5 Thinking 模型，订阅用户可在旧模型上限时使用。
  • 来源：The Verge

🔧 硬件与基础设施

Nvidia RTX Spark "超级芯片"发布

  • 说明：Computex 2026 上，Nvidia 发布 RTX Spark，1 petaflop 算力的 ARM 架构 PC 芯片。ASUS、Dell、HP、Lenovo、Microsoft Surface、MSI 等将在今年秋季推出搭载该芯片的 AI PC。支持本地运行大模型，内置与微软联合开发的安全沙箱用于运行 AI Agent。
  • 影响：Jensen Huang 瞄准 $200B CPU 市场。这是 Nvidia ARM PC 的第二次尝试（2013 年 Surface RT 曾惨败），但此次芯片性能强大得多。Microsoft 将其命名为 Surface Laptop Ultra，称其为"有史以来最强大的 Surface Laptop"。
  • 来源：TechCrunch · The Verge

Intel Crescent Island AI 芯片

  • 说明：Intel 计划年底推出 Crescent Island GPU，专注推理任务。采用 LPDDR5 内存和风冷设计，比 Nvidia/AMD 的 HBM+液冷方案更便宜。Intel 在 CEO Lip-Bu Tan 领导下股价今年已涨超 200%。
  • 来源：Ars Technica

Nvidia DLSS 4.5 Ray Reconstruction

  • 说明：Nvidia 发布 DLSS 4.5 Ray Reconstruction，使用二代 Transformer AI 模型提升光追画质。支持 RTX 20 及以上 GPU，8 月上线。
  • 来源：The Verge

⚖️ 政策与安全

佛罗里达州起诉 OpenAI 和 Sam Altman

  • 说明：佛罗里达州总检察长起诉 OpenAI 和 CEO Sam Altman，指控其在追求"AI 军备竞赛"中忽视安全，ChatGPT 与多起暴力事件有关联。这是首例州级 AI 安全诉讼，寻求罚款和法院禁令。刑事调查仍在进行中。
  • 影响：AI 安全法律战升级。结合伊利诺伊州通过的里程碑式 AI 安全法案，美国 AI 监管正在加速。
  • 来源：TechCrunch · Ars Technica

伊利诺伊州通过 AI 安全法案

  • 说明：要求 AI 公司接受独立审计和举报人保护，比纽约和加州的同类法案范围更广。Anthropic 和 OpenAI 均表示支持。
  • 来源：The Verge

Meta AI 客服聊天机器人被利用劫持 Instagram 账号

  • 说明：黑客利用 Meta 的 AI 支持聊天机器人获取名人 Instagram 账号访问权，高价账号被窃取和转售。Meta 已修补漏洞。
  • 来源：Ars Technica

📊 行业动态

DuckDuckGo 推出"无 AI"搜索扩展

  • 说明：DuckDuckGo 推出 Chrome 和 Firefox 浏览器扩展，将 noai.duckduckgo.com 设为默认搜索引擎。流量持续增长。
  • 影响：反映部分用户对 AI 搜索结果的疲劳和抗拒。
  • 来源：TechCrunch

Apple 正在将 Gemini 模型压缩到 iPhone

  • 说明：据报道 Apple 正在蒸馏 Google 的万亿参数 Gemini 模型以在 iPhone 上运行，为 Siri 大升级做准备。WWDC 将于下周举行。
  • 来源：Ars Technica

Microsoft Copilot Health 进入预览

  • 说明：面向 Microsoft 365 用户开放，可分析医疗记录、连接可穿戴设备和 Apple Health 数据。
  • 来源：The Verge

Google Pay 推出通用商务协议

  • 说明：为 AI Agent 支付做准备的新协议标准。
  • 来源：AI News

🔭 值得关注的趋势

  1. AI IPO 赛季来临：Anthropic、OpenAI、SpaceX 相继推进 IPO，AI 公司估值进入万亿级。
  2. AI 编程工具商业化加速：GitHub Copilot 从补贴转向成本回收，开发者需要重新评估 AI 工具的真实 ROI。
  3. AI Agent PC 时代开启：Nvidia RTX Spark 将 AI Agent 带到消费级 PC，本地推理能力大幅提升。
  4. AI 安全诉讼升级：从伊利诺伊州立法到佛罗里达州起诉，AI 安全正从讨论走向法律行动。
  5. 数学是 AI 的新前沿：OpenAI 破解 80 年数学难题，AI 在推理能力上的突破可能带来连锁反应。