Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长程任务能力上为最强模型，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出网络安全与长程任务的具体基准分数和分阶段开放路径，可据此判断前沿模型在防御场景的落地节奏。
技术方向
AI 编码 最新动态
用 AI 写代码：编程助手、Vibe Coding、代码模型评测，以及开发方式的变化。
5 条精选近 30 天 5 条共收录 25 条
更新
AI 编码的精选
Google DeepMind精选AI 评分8484
Latent Space精选AI 评分8585 月之暗面发布 Kimi K3.1 Pro：2.8T 总参数、104B 激活，权重承诺 11 月 4 日开放
月之暗面发布 Kimi K3.1 Pro，这是一个 2.8 万亿总参数、1040 亿激活参数的多模态 MoE 模型，支持 100 万 token 上下文，标准版与 Highspeed 版已上线 Kimi 网站、App、Kimi Work、Kimi Code 和 API，权重承诺 11 月 4 日开放。
推荐理由：材料把厂商宣称、独立评测与成本口径分开呈现，读者可据此判断开源权重前沿模型的真实位置。
The Decoder精选AI 评分8585 月之暗面发布 Kimi K3.1 Pro，AA 智能指数升至第四
月之暗面发布 Kimi K3.1 Pro，这是 Kimi K3 的后训练版本，在 Artificial Analysis 智能指数上得分 55，比 K3 提升 11 分，位列第四，仅落后 Claude Opus 5.5（58）、Claude Sonnet 5.5（56）和 Muse Wonder Full（56）。
推荐理由：原文给出 K3.1 Pro 与 Claude Opus 5.5 在多项基准上的逐项对比，可据此判断开源模型与闭源前沿的差距。
The Decoder精选AI 评分7676 Recursive 发布首个由 AI 系统参与研发的模型 Flint
AI 初创公司 Recursive 发布首个语言模型 Flint，其研发过程几乎每一步都有名为 Eureka Machine 的 AI 系统参与，由它提出想法、搭建方案、测试并规划后续实验。
推荐理由：原文交代了 Flint 的 MoE 参数配置、本地推理速度和开源许可，也说明其基准成绩尚未经独立验证。
The Decoder精选AI 评分8080 Anthropic 用 Claude 为现有代码自动生成形式化证明
Anthropic 前沿红队与 Theorem 合作，让 Claude 把 OSS-Fuzz 中 123 个开源库的崩溃测试转成数学问题，几周内产出约 1.8 亿行证明代码，并由 Rocq 自动校验。
推荐理由：材料给出 Claude 形式化验证的规模、成本与适用边界，可据此判断这类方法离日常工程还有多远。