引言

今日 AI 领域迎来多项重磅进展。OpenAI 正式发布 GPT-6 Astra，在多项基准测试中达到 SOTA 并触及关键级网络安全能力门槛。同时，NVIDIA 宣布收购 Hugging Face，IFM 与 Cohere 等也相继推出新模型与工具，行业格局持续演变。

模型与能力

1. OpenAI 发布 GPT-6 Astra，基准全面超越 Claude Fable 5.1

OpenAI 官方基准显示，GPT-6 Astra 在 ARC-AGI-3 达到 99.9% 饱和度，ExploitBench 得分 100%，全面超越此前保持 SOTA 的 Claude Fable 5.1，且价格更低。X：kimmonismus (@kimmonismus) ↗
补充来源：X：kimmonismus (@kimmonismus) ↗

2. ARC-AGI-3 发布半年即被 Astra 饱和，速度约为预期两倍

ARC-AGI-3 发布仅 6 个月即被 Astra 饱和，快于 François Chollet 预计的一年。新一代模型的能力将挑战人们基于旧模型形成的 AI 观点。X：sherwinwu (@sherwinwu) ↗

3. Artificial Analysis 评测 GPT-6 Astra：编码能力追平 Fable 5

Artificial Analysis 发布 GPT-6 Astra 评测，其 Coding Agent Index 得分 67，与 Claude Opus 5 和 Fable 5 相当，成本不到 Fable 5 的一半，token 效率比 GPT-5.6 Sol (max) 高约 70%。X：ArtificialAnlys (@ArtificialAnlys) ↗

4. IFM 发布 K2 Horizon 六款开源模型，覆盖 0.9B 至 375B-A23B

IFM 发布 K2 Horizon 模型系列共六款，均以 Apache 2.0 开源。其中 0.9B、3.7B 和 7B 宣称在其规模上达到 SOTA，36B-A4B 采用新提出的稀疏注意力架构 MoVA。ifm.ai：Blog ↗

5. Meta Muse Spark 1.3 在编码智能体指数中与 Claude 组合对比评测

Artificial Analysis 编码智能体指数显示，Meta Muse Spark 1.3 (max) 在 Muse Code 下得 68 分，与 Claude Code + Opus 5 (xhigh) 的 68 分持平。X：alexandr_wang (@alexandr_wang) ↗

6. OpenAI 发布 GPT-6 Astra，多项基准达到 SOTA

OpenAI 发布 GPT-6 Astra，在 FrontierMath Tier 4、ARC-AGI 3、TerminalBench-4.0 上达到 SOTA，并在 Terminal-Bench Science 0.1 和 HealthBench Pro 上取得领先成绩。X：sherwinwu (@sherwinwu) ↗

7. OpenAI 发布 GPT-6 Astra，首个达到关键级网络安全能力门槛的模型

OpenAI 发布新一代大语言模型 GPT-6 Astra，为其首个达到准备框架中关键级网络安全能力门槛的模型，可在无逐步指导下发现防护严密系统的未知漏洞。ithome.com ↗

8. OpenAI 发布 GPT-6 Astra：1.05M 上下文计算机操作模型，因触及 Critical 网络安全阈值限制访问

GPT-6 Astra 定位为计算机操作模型，上下文窗口 1,050,000 token，最大输出 128,000 token，知识截止 2026 年 4 月 30 日；OSWorld V2-Offline 得分 72.6%，平均任务时间从约 75 分钟降至 40 分钟。marktechpost.com ↗

9. OpenAI 开始发布 GPT-6 Astra，面向全部 Plus 用户开放

OpenAI 宣布开始发布 GPT-6 Astra，重点让全部 Plus 用户可用，而非仅限 Pro、Business 和 Enterprise 套餐；发布需数天完成，多个全新系统将首次大规模运行。X：thsottiaux (@thsottiaux) ↗

10. OpenAI 发布新模型 Astra，主打计算机与浏览器操作，因 opaque recurrence 引发争议

OpenAI 称 Astra 为迄今最强模型，主打计算机和浏览器操作；先面向 Daybreak 网络安全计划客户开放，随后一周内覆盖 Pro、Plus、Enterprise、Business 付费账户及 API。TechCrunch ↗

11. 3D世界生成模型进入生产管线，单图直出场景

顶会最佳论文落地，开启场景级生成时代。量子位 ↗

12. GPT-6正式发布，OpenAI称迎来AGI时代

OpenAI发布GPT-6，称其为全球最强模型，宣告进入AGI时代。量子位 ↗

13. 它石智航AWE3.7泛化能力强劲，单模型通吃多场景

它石智航AWE3.7具备强泛化能力，应用场景从工厂延伸至家庭。量子位 ↗

14. 新版 GPT Image 2.5 已能伪造 GPT-6 发布会画面

新版 GPT Image 2.5 改进了 GPT Image 2 的噪点问题，生成的图像足以伪造 GPT-6 发布会场景。量子位 ↗

15. Cohere 推出 Parse 5：高效提取复杂文档的多模态信息

Cohere 发布了多模态基础模型 Parse 5，旨在从复杂的企业文档中提取结构化数据。该系统拥有 23 亿参数，可将视觉丰富的 PDF 转换为 Markdown，并提供边界框坐标以进行视觉定位。该模型在超过 2000 个企业页面上进行了评估，在关键性能领域的平均得分为 79.2。InfoQ AI ↗

16. 神秘具身团队又放出一连串很炸的Demo视频…自进化模型，技术路线曝光

该条目暂无摘要。量子位 ↗

产品与应用

17. OpenAI 推出 Daybreak for Frontline Defenders，投入10亿美元支持一线网络防御

OpenAI 发布 Daybreak for Frontline Defenders 全球计划，承诺提供10亿美元的 Daybreak 补贴访问、培训、技术支持与合作，六个月内优先支持水处理、电网、地方政府、社区银行、非营利组织和开源维护者等资源有限的一线防御者。OpenAI ↗

18. xAI 发布 Grok Bot 企业版，Cursor Enterprise 客户两周免费

xAI 宣布 Grok Bot 面向企业开放，Grok 和 Cursor Enterprise 客户未来两周可免费使用，并支持邀请全组织成员，包括无现有席位的员工。x.ai ↗

19. xAI 发布 Grok Bot 设计文章：为持久化智能体重构交互界面

xAI 发布文章介绍 Grok Bot 的界面设计，以 Bot 为主要对象而非会话。Bot 拥有身份、记忆及专属计算机和工具，头像动效可呈现多种工作状态，工作区提供状态、预览和接管三级访问权限。x.ai ↗

20. 李想宣布MPV进入iPhone时刻，配置拉满

配备4个激光雷达与双M100芯片。量子位 ↗

21. 腾讯WorkBuddy联名硬件上线，首批100余家伙伴加入

腾讯WorkBuddy与100多家硬件伙伴合作，推出眼镜、耳机、麦克风等联名硬件产品。量子位 ↗

开发与基础设施

22. Hugging Face 发布开源工具 funes，为编码智能体提供本地记忆层

Hugging Face 发布开源工具 funes，为 Claude Code、Codex 等编码智能体提供本地记忆层。该工具将已有会话记录索引为 Lance 数据集，通过一条命令即可让 Agent 自主召回原始出处信息。Hugging Face：Blog ↗

23. Shopify 介绍 Gisting：将 LLM 系统提示词压缩为学习 Token

Shopify 工程团队介绍了 gisting 技术，该技术可将长 LLM 提示词压缩为更少的学习“gist” token，从而提高吞吐量并降低推理成本。InfoQ AI ↗

公司与资本

24. NVIDIA 宣布以129.3亿美元收购 Hugging Face

NVIDIA 宣布已同意以约129.3亿美元收购 Hugging Face。Hugging Face 目前拥有超1800万开发者，托管超300万个模型、50万个数据集和100万个应用，服务超20万家企业。blogs.nvidia.com：Blog ↗

政策与安全

25. Rohan Paul 解读 GPT-6 Astra 系统卡安全发现

Rohan Paul 梳理 GPT-6 Astra 117 页系统卡要点：Astra 控制自身链式思维的能力从 GPT-5.6 Sol 的 16.1% 跃升至 60.9%，可监控性相应下降。X：rohanpaul_ai (@rohanpaul_ai) ↗

观点与教程

26. François Chollet 评 GPT-6 Astra 在 ARC-AGI-3 上的表现

François Chollet 表示 GPT-6 Astra 在交互式推理任务上带来阶跃式能力提升，在 ARC-AGI-3 上使用标准 harness 得分 66%，配合持续对话 harness 和自定义 compaction 接近 100%，每局成本约 $360。X：fchollet (@fchollet) ↗

27. Gary Marcus 评 GPT-6 Astra：进步明显但鲁棒性与可监控性存疑

Gary Marcus 发文点评 GPT-6 Astra，认为多项报告显示其取得真正进步，OpenAI 产品显式创建并操纵符号世界模型，印证了其近十年的主张。garymarcus.substack.com ↗

28. Google Cloud 教你用 Cloud Run 以每月 $5.70 搭建常驻 Agent

Shir Meir Lador 在 Google AI 开发者博客介绍如何使用 Cloud Run instances，以每月 $5.70（1 vCPU、1Gi 内存、共享 CPU）在云端 24/7 运行常驻 Agent。dev.to ↗

29. Tom Tunguz 解析 Meta Muse Spark 双轨定价背后的算力逻辑

Tom Tunguz 分析 Meta 发布 Muse Spark 模型及双轨 API 定价，其中 Standard Tier（muse-spark-1.3）输入价格为 $1.25/m。tomtunguz.com ↗

30. 观点：没有Token的CS学生应立即退学

提出CS学生应使用AI编程工具而非传统编程，Token费用需自理。量子位 ↗

人物与动态

31. 陈大年复出入局大模型，首秀逼近DeepSeek万亿旗舰

陈大年复出并进军大模型领域，其首秀模型逼近DeepSeek万亿旗舰。量子位 ↗

今日脉络

  • GPT-6 Astra 发布与能力突破
    OpenAI 发布 GPT-6 Astra，在 ARC-AGI-3 等多项基准达到 SOTA，首个触及关键级网络安全能力门槛，并面向 Plus 用户开放。

  • 开源生态与基础设施演进
    IFM 发布 K2 Horizon 六款开源模型，Hugging Face 推出为编码智能体提供本地记忆层的开源工具 funes，Shopify 则介绍了压缩 LLM 提示词的 Gisting 技术。

  • 行业资本与企业级应用
    NVIDIA 宣布以约 129.3 亿美元收购 Hugging Face，xAI 发布 Grok Bot 企业版，OpenAI 推出投入 10 亿美元的 Daybreak 网络防御计划。

总结

GPT-6 Astra 的发布标志着大模型在推理与计算机操作能力上的新里程碑，而 NVIDIA 收购 Hugging Face 等资本动作则预示着算力与开源生态的深度融合。随着各类企业级应用与安全计划的落地，AI 正加速向产业纵深发展。