OpenAI 演示 Codex 新工作方式：云环境、语音控制与个人智能体协作
OpenAI 在 AI Engineer Code Summit 工作坊中介绍 Codex 新版云环境的改进用法与多种工作模式。云端环境可发布一次后在隔离实例中运行多个任务，支持与本地任务切换；语音可作为控制平面管理多线程任务；个人智能体 Dots 用于上下文同步与安全网辅助。
#编码By publication and event progress
Latent SpaceAI 评分5050 Simon WillisonAI 评分7474 Gemini 4 Carbon 向所有人开放，附价格调整与多模态能力实测
Gemini 4 Carbon 两周前仅面向部分网络安全防御者，今天起对所有用户开放。API定价为输入每百万 token $2、输出每百万 token $10，将于12月1日翻倍至$4/$20。作者实测展示了该模型在高思维模式下的pelican绘图能力，并用Antigravity IDE生成Three.js动画，同时引用了Carbon通过/swarm功能协作构建3D开放世界游戏的案例。
Latent SpaceAI 评分6363 Naive-N0.5-Flash 承诺 2,100 Tokens/s，代码能力实测如何
NaiveAI 发布 Naive-N0.5-Flash 开源权重模型，宣称峰值可达约 2,100 tokens/s，基于小米 MiMo-V2.5 的 310B 参数 MoE checkpoint 继续训练并接入 NaiveRT 推理引擎。
The DecoderAI 评分6565 Gemini 4 Carbon 发布：CursorBench 领先 Fable 5.2，成本不到其一半
Google 正式发布 Gemini 4 Carbon，与之前的 Argon 同价但针对极限推理任务设计；CursorBench 4.0 以约 60% 得分领先 Fable 5.2，WANDR 排名第一，MKA 第二但平均成本不足前五名的六分之一。
Google DeepMind精选AI 评分6666 Gemini 4 Carbon 现已推出
Google DeepMind 正式发布 Gemini 4 Carbon，定位为当前最强旗舰模型，面向复杂知识工作、多步编码调试和开放式科学研究。在 CursorBench 4.0、Perplexity WANDR 和 Zapier AutomationBench 上排名首位，任务成本低于竞品 2 倍以上。模型已通过 API 向开发者、企业和科学家开放，同时对齐与安全指标同步提升。
推荐理由：Google 发布最新旗舰模型 Gemini 4 Carbon，在科学推理、代码开发和网络安全领域达到前沿水平，同时强调安全对齐与防滥用措施。
Google DeepMind精选AI 评分6060 AlphaProof Code 首次形式化验证 Signal 加密协议实现
Google DeepMind 发布 AlphaProof Code，一个结合人类专家与多LLM智能体的形式化验证框架，首次对广泛部署的 Signal 协议编译代码完成了数学级安全属性证明，将传统需专家数年完成的任务缩短至四周，并开源验证工件供社区使用。
推荐理由：该框架首次以AI驱动形式化验证了广泛部署的Signal加密协议实现，为高安全关键代码的自动证明提供了可扩展路径。
TechCrunch · AIAI 评分5151 Automattic发布Spacefast，一个用于部署vibe-coding应用的开放平台
Automattic推出Spacefast平台，为vibe-coded网站和应用提供数据库、认证、文件上传、邮件和数据分析等部署基础设施。用户可以将其与ChatGPT、Claude等智能体对接，也可连接Git仓库启动项目，由Batuhan İçöz在上半年黑客松开发并于九月软发布后正式发布。
Simon WillisonAI 评分5252 提示词设计：用归属表述引导 Claude Fable 5.2 重构代码
Simon Willison 引用 Anthropic《Prompting Claude Fable 5.2》文档指出：在编码任务中，若提示词将代码库描述为模型自己的（'This codebase is yours'），模型合并重复代码的比例约为不使用该表述时的五倍以上；若无此表述或呈现为他人的代码，模型倾向于在现有结构上直接添加，即使这意味着重复已有代码。
Simon WillisonAI 评分4545 Yonkers Rises — Claude Fable 5.2 创作的3D机甲动画
Claude Fable 5.2 Medium 生成 Three.js 动画《Yonkers Rises》，呈现巨型机甲自纽约扬克斯边界升起后穿越曼哈顿、布鲁克林、皇后区和布朗克斯的动态场景，包含踏步节奏与高度读数状态行实时更新，模型还自动将拼写错误的"átomos"纠正为正确的"stomps"语义执行。
Simon WillisonAI 评分4343 用 Claude 定位家中神秘的蜂鸣声来源
Simon Willison 用 Claude Code 构建了 Beep Locator 系统，在约 40cm 精度内定位了家中间歇性蜂鸣声来源——一台需换电池的老式一氧化碳探测器。
AWS Machine Learning Blog精选AI 评分6363 Claude Fable 5.2 与 Mythos 5.2 在 Amazon Bedrock 上线，配套 Migration 技能
Amazon Bedrock 正式提供 Claude Fable 5.2 和 Mythos 5.2，前者面向编码、数学与科学等通用技术负载，后者仅在合规验证后可用于网络安全和生命科学等高敏场景。
推荐理由：官方给出了各模型定位、数据保留策略与 claude-api 迁移技能的实操指引，有助于评估上床风险并平滑升级现有代码。
The DecoderAI 评分6262 Meta 推出 Muse Ember，专为 AI Agent 日常重复任务打造的轻量模型
Meta 发布 Muse Ember，是最小的多模态 AI 模型，支持文本、图像、音频和视频，单次处理一百万 token。在 Artificial Analysis Intelligence Index 上得分为 36，每任务约 0.14 美元；Muse Spark 1.3 得 37 分但每任务约 2.39 美元。
TechCrunch · AIAI 评分6969 Anthropic 发布 Mythos 5.2 和 Fable 5.2 amid RSI 担忧
Anthropic 周一发布 Claude Mythos 5.2 和 Fable 5.2，号称在编码、推理和视觉方面有所提升，并与用户沟通更清晰。Fable 单价从每百万输入 token 10 美元降至 8 美元，推理速度提升约 30%，支持零数据保留策略，现已低于主要竞品 GPT-6 Astra。
Latent SpaceAI 评分6464 斯坦福如何教授 AI 原生工程：Mihail Eric 的十周课程与方法论
AI Engineer 频道百万订阅特别节目采访了斯坦福 CS146S《现代软件开发者》主讲人 Mihail Eric，他同时担任 Monaco 的 AI 负责人。
The DecoderAI 评分5858 Andrej Karpathy 用 Claude 和 20 年 Hacker News 数据在周末搭建策展视频平台
Andrej Karpathy 用 Claude 的 Opus 5.5 模型在周末搭建了 HackerTube，将 20 年 Hacker News 的 4300 万条评论筛选提炼为 6454 个推荐视频。
Latent SpaceAI 评分5252 Anthropic IPO 前景与本周 AI 动态盘点
本文梳理 Anthropic IPO 估值争议，其年营收速率已达 80B，市场预估目标区间从 1T 至 1.5T 美元不等。
GitHub Blog · AI & MLAI 评分5757 超越代码生成：开发者的智能体工程指南
GitHub 发布 Agentic Engineering 工作流指南，将智能体介入覆盖 Plan、Build、Verify、Observe 四个阶段。
Microsoft ResearchAI 评分5858 Microsoft Research 推出 PDD Kit，以形式化验证保障 AI 智能体生成的代码正确性
Microsoft Research 发布 PDD Kit，将 Proof-Driven Development 理念落地为一个可在 GitHub Next Chopin 中运行的工具包。
Google DeepMind精选AI 评分6464 Gemini 4 Carbon 发布：最强前沿模型聚焦网络安全与长程任务
Gemini 4 Carbon 是 Google DeepMind 最新发布的强大多模态模型，在更新的 Artificial Analysis Intelligence Index v5.0 中以 59 分位居榜首。
推荐理由：文章给出了网络安全与长程任务能力的具体提升数据和评测排名，可据此判断其在实际工作流中的适用边界。
Microsoft ResearchAI 评分4747 Flint-interactive：一种用于创建交互式数据可视化的语言
Flint-interactive 是一种基于 Flint 的语言，允许用户和 AI 智能体直接定义点击、过滤、缩放等高语义级别的视觉交互，无需编写底层渲染代码。该系统借助编译器的语义事件解析与更新算子处理布局和依赖逻辑，使对话环境或画布应用中生成的图表能实现跨视图联动、文本高亮及个性化定制操作，显著降低生成复杂交互式数据故事的可靠性门槛与开发成本。
Microsoft Research精选AI 评分7373 微软研究员与AI协作解决31年KLS猜想，确立高维几何通用原理
Microsoft Research研究员Xinzhi Zhang与合作者证明Kannan-Lovász-Simonovits（KLS）猜想，确立了log-concave分布中简单超平面切割始终能以固定因子捕捉最窄瓶颈的维度无关几何原理。
推荐理由：证明了维度无关的几何原理，并展示了研究者主导AI搜索路径的有效协作方式。
GitHub Blog · AI & MLAI 评分5151 三位 Java Champion 如何借助 GitHub Copilot 提升开发效率
三位拥有十余年经验的 Java Champion 分享了他们在生产与开源项目中用 GitHub Copilot 的具体案例与最佳实践。Vlad Mihalcea 将原本需数周的内部工具开发缩短至两天，并通过自定义技能让生成文档符合个人写作风格。
GitHub Blog · AI & MLAI 评分4747 如何在 VS Code 中继续 GitHub Copilot app 会话
GitHub 发布教程，演示如何将 Copilot app 中的会话转移到 VS Code 继续处理。用户可以在 VS Code 的 Copilot 侧边栏中直接打开已有会话，保留任务背景、计划对话和 worktree 上下文不变。随后逐行审查 agent 改动、手动微调代码、在本地终端运行测试验证，最后通过 Source Control 视图提交并推送至关联 pull request。
GitHub Blog · AI & ML精选AI 评分6464 GitHub 发布 ReviewBench 开源代码审查评测基准
GitHub 发布 ReviewBench，基于 1.039 亿条真实 PR 构建的 219 条开源 PR 评测集，覆盖 19 种语言。基准采用人工评审、前沿 LLM 和静态分析多源合并生成黄金标签，并与资深工程师独立复核达成 96.6% 一致性；提供 grounded 与 augmented 两套精确率/召回率指标及可调节的 Fβ 评分。
推荐理由：官方公开了数据集、评分规则和自建跑分工具，读者可据此比较不同代码审查 Agent 的实际表现。
GitHub Blog · AI & MLAI 评分4242 GitHub 博客：AI 正改变开发者工作，掌握这三项关键技能
GitHub 博客指出 AI 正在重塑开发者工作流程，建议重点强化三项技能：学会指挥 AI 而非仅使用它；不要盲目信任 AI 的首个答案，可用不同模型互相校验——GitHub Copilot 内置的 Rubber Duck agent 即采用第二模型对代码和方案进行评审；让 AI 承担更多实现工作，从而腾出时间解决理解客户需求、评估架构权衡和技术决策等更大范围的问题。