2026-07-02 这一期

这一期没有导语。

本期收录

• Leanstral 1.5：人人可用的形式化证明 (2026-07-02 · Mistral AI)
  6B 活跃参数开源模型，PutnamBench 每道题成本 4 美元，远低于竞品的 300 美元以上
• 走进 Nemotron 与 NVIDIA AI 实验室 (2026-07-02 · The MAD Podcast with Matt Turck)
  NVIDIA 应用深度学习研究副总裁 Bryan Catanzaro 详解开源模型战略、Nemotron 3 Ultra 技术细节，以及为什么他认为开源 AI 更安全。
• 核电如何解锁能源丰裕：Valar Atomics 创始人 (2026-07-02 · No Priors)
  Valar 用活反应堆给 Blackwell 芯片供电，运行了全球首个核电网站。
• Meta 的 AI 存储蓝图 (2026-07-02 · Meta Engineering)
  存储性能落后于算力增长，GPU 空转推高训练成本；Meta 通过 BLOB 架构优化延迟上限来避免集群同步瓶颈。