2026-11-04 短讯
本页 3 条：3 条有单独页面，0 条是短讯。
短讯汇总把同一天或同一周的简短动态放在一起。单独打开时，这些短讯往往只有标题和一两句说明，不适合各自成为一篇文章。达到重要度门槛的进展仍然保留自己的页面，并在汇总里列出标题。
有单独页面的进展
OpenAI 宣布收购 Pierre Computer（Code Storage / Trees / Diffs / Highlights），强化 Codex 面向智能体的 Git 工作流
腾讯 Hy4 正式版：首次视觉+电脑操控；腾讯云/OpenRouter API 上线；完整权重「计划开源」（Hy4 preview 770B/49B 已开源）
Anthropic 开源 FlashProve：用 zkSNARK 做可证明推理，Llama 4 Maverick 单卡 H100 约 110 tokens/s 出证明
本页由 AGI Pulse 聚合，仅保留标题与链接，不转载正文。 编辑政策