AI 日报
收录 2 条重要资讯
AI HOT 日报 (noon)
本期导读
本期简报涵盖 AI 基础设施、模型能力与商业增长。SpaceX 与 Google 签署涉及 11 万块 NVIDIA GPU 的云协议，同时 DeepSeek V4 在形式化定理证明中刷新纪录，OpenAI 模型破解数学难题，展现 AI 强大潜力。此外，AI 安全议题和 Chrome DevTools 的更新也值得关注。基础设施
SpaceX 与 Google 签署 11 万块 NVIDIA GPU 云协议
SpaceX 与 Google 签署一项每月 9.2 亿美元、年化约 110 亿美元的云服务协议。该协议从 2026 年 10 月持续至 2029 年 6 月，将为 SpaceX 提供 110,000 块 NVIDIA GPU 用于其 AI 计算资源。
研究突破
DeepSeek V4 在形式化定理证明中刷新纪录
DeepSeek 发布 V4 模型，在形式化定理证明中展现出 500 倍的成本优势，并刷新了相关基准测试记录，突显其在复杂逻辑推理领域的强大能力。
OpenAI 模型利用测试时计算破解 Erdős 数学难题
OpenAI 推理模型利用测试时计算 (test-time compute) 成功破解了 Erdős 数学难题，展示了其在复杂数学推理和问题解决方面的强大能力。
商业与人事
Emergent 公司 6 个月内达 1 亿美元 ARR
Emergent 公司在 6 个月内实现 1 亿美元的年化经常性收入 (ARR)，覆盖 190 个国家和 850 万用户，期间重写架构三次，展现了快速增长和适应性。
政策与安全
AI安全议题：关注目标未对齐与非预期后果
Natol Lambert 指出，AI 安全讨论的核心并非 AI 是否会危险，而是“如何”危险。最危险的 AI 可能其目标在规模上与人类价值观无意中冲突，风险在于目标未对齐及优化狭窄指标的非预期后果，而非恶意。
开发者工具
Chrome DevTools 助 MCP 工具降低 Token 消耗
Chrome DevTools 为多智能体工具 (MCP) 引入四支柱，旨在降低 Token 消耗。功能包括 Token 消耗量化、自愈错误信息、API Schema 标注以及三层信任边界，提升开发效率与成本控制。