微软研究院发布 PDD Kit，用形式化验证检查智能体编写的全栈 Web 应用
微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式化规格，证明智能体生成的代码对每个输入都满足规格，证明覆盖不到的部分则用测试补充。
#编码
Microsoft ResearchAI 评分5858
Microsoft ResearchAI 评分2222 Microsoft Research Focus 第 97 期：ForkPilot、CABRA、TeleTune 与 Copilot 使用差异研究
Microsoft Research Focus 第 97 期介绍了多项新研究：自改进智能体框架 ForkPilot 在六个 benchmark 和主流模型上达到现有最佳方法水平，同时将 AI 处理开销降低最多 59%。
Google DeepMind精选AI 评分9292 Google DeepMind 发布 Gemini 4 Argon 前沿模型
Google DeepMind 发布 Gemini 4 Argon，今日起通过 AI Studio 与 Gemini API 面向开发者和企业开放，Google AI Ultra 订阅者可在 Google Antigravity、Gemini 应用和搜索 AI Mode 中使用。
推荐理由：官方给出定价、可用渠道与多项实测数据，可据此判断前沿模型在编码与科研工作流中的落地程度。
Google DeepMind精选AI 评分8282 Google DeepMind 发布 Gemini 4 Argon 前沿模型
Google DeepMind 发布新前沿模型 Gemini 4 Argon，先通过 Fairwind Program 向受信任的网络安全防御者开放，随后逐步扩展至开发者、企业和消费者。
推荐理由：Gemini 4 Argon 的发布信息包含输出上限、定价与多项基准成绩，可据此判断前沿模型在长程工程与安全防御上的能力边界。