一份Meta内部文件显示，公司正为各业务部门设定具体的AI工具使用目标，以推动成为“AI原生”公司。 核心指标 Creation团队：到2026年上半年，要求65%的工程师使用AI完成75%以上的提

错误监控平台Sentry联合创始人David Cramer公开表示，他“完全确信”大语言模型（LLM）目前并未带来净生产力提升。他认为LLM虽然降低了编程上手门槛，但持续产生复杂且难以维护的代码，从长

Mistral AI 发布了 Leanstral，这是首个专为形式化验证工具 Lean 4 设计的开源代码 Agent。 核心突破 它能在生成代码的同时，输出可由 Lean 4 自动校验的形式化证明，

OpenAI 正式发布了其最新的代码生成模型 GPT-5.2-Codex。 该模型在代码理解、生成和补全方面实现了显著提升，旨在为开发者提供更智能、高效的编程辅助工具。