跳到正文
#编码
  1. Ars Technica · AI82

    Google 推出 Gemini 4 Hydrogen，取代 3.8 Flash

    Google 发布 Gemini 4 Hydrogen，并已在自家产品中取代 Gemini 3.8 Flash，访问限制比此前 Argon、Carbon 宽松，发布即开放。

    推荐理由：原文列出 Hydrogen 相对 3.8 Flash 的速度、幻觉与 Terminal-Bench 变化，可据此判断 Flash 系列换代后的实际差异。

  1. Microsoft Research64

    微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

    微软研究院联合 GitHub Next 提出 Proof-Driven Development（PDD）与配套工具 PDD Kit，把用户意图转成 Verus 形式化规格，证明智能体写的代码对每个输入都满足规格，证明覆盖不到的部分改用测试。

    推荐理由：微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码，把审查重心从逐行读代码转向审阅意图规格。

已经到底了