1. 微软 Build China 2025：Windows 12 携 Copilot Stack 登场
今天凌晨，微软在西雅图与北京同步发布 Windows 12，核心亮点是全新的 Copilot Stack。端侧仅 3B 参数的小模型常驻内存 1.8 GB，断网仍可 120 ms 内响应语音指令；云端 400B MoE 巨兽则以 GPT-4o 一半不到的定价提供 2 M tokens 长上下文。最受开发者期待的是系统级“语音克隆” API，将于 8 月 5 日开放，任何应用都可一键拥有自定义音色。

2. 谷歌 DeepMind 推出 AlphaProof：数学定理证明新标杆
DeepMind 今日公开 AlphaProof，在 miniF2F 数据集上准确率达到 78.4%，比 GPT-4f 高出 21 个百分点。模型与 Lean4 深度耦合，可在 30 秒内生成长达 500 行的证明脚本。同步开源的 7B MiniProof 单卡 4090 即可运行，数学社区已连夜复现。

3. OpenAI 全面开放 GPT-4o-audio：高保真语音交互来了
GPT-4o-audio 今日解除限制，支持 48 kHz 立体声双向对话，延迟仅 232 ms。新增的“声纹水印”可抵御重采样、变速和加噪攻击。官方直播中，AI 用六种情绪朗读《三体》片段，64% 观众投票“毛骨悚然”。

4. 英伟达发布 Blackwell Ultra：72 GPU 液冷巨兽
B200 NVL72 整机集成 72 张 Blackwell GPU，液冷功耗 1.44 MW，FP4 算力高达 1.5 EFLOPS。官方宣称训练 175B 模型时间从 90 天缩短至 18 天。首批订单已被 xAI、OpenAI、字节跳动锁定。

5. AWS 提前泄露 Trainium-3 规格：单节点 4.2 ExaFLOPS
re:Invent 早鸟议程显示，Trainium-3 单节点可提供 4.2 ExaFLOPS BF16 算力，支持 8 k GPU 全互联。配套的 Sagemaker HyperPod 2.0 将训练中断率压到 0.1% 以下，并与 Perplexity 合作推出冷启动仅 2 秒的 Serverless LLM。

6. 欧盟 AI Act 首批高风险白名单公布
欧盟今日公布首批通过审核的高风险 AI 场景：23 个医疗、4 个招聘、7 个信贷应用入选，需每 6 个月提交红队报告与水印审查。Stability AI 因 SD-3 商用版未及时备案被点名，限期 30 天整改。

7. 苹果 iOS 19 Beta 4：Apple Intelligence 2 上线
新测试版带来“Image Playground 3D”，可直接生成 USDZ 文件并导入 RealityKit。Siri 本地 7B 模型支持中英混合免切换，所有端侧推理日志 24 小时自动销毁，进一步强调隐私。

8. 字节跳动「豆包编程」海外版 48 小时注册破 120 万
豆包编程国际版上线两天内注册量突破 120 万，代码补全平均延迟 110 ms，Python 准确率 92%。与 GitLab 深度集成后，合并请求平均处理时间缩短 35%。

9. Anthropic 推出 Claude-3.5-Sonnet-200k
Claude-3.5-Sonnet 今日升级至 200 k 上下文窗口，Needle In A Haystack 全绿通过。API 价格保持不变，旧版自动降价 20%，开发者零迁移成本即可升级。

10. 中国商飞 × 阿里云：C919 AI 故障预测系统正式运行
双方联合打造的飞参大模型已在中国商飞机上部署，单航班数据 1.2 TB，5 分钟内输出潜在故障 Top 5，准确率 94.7%，预计每年节省维护成本 1.2 亿元人民币。