Battledrones v14 新增 Compass Rose 四人地图
Claude Opus 4.5 为 Battledrones v14 新增四人地图 Compass Rose，并修改 WebSocket 多人网络代码以支持最多四名玩家。新地图具备四向旋转对称，支持最多四个 AI 玩家，人类玩家可通过分享链接或二维码加入，空位由 AI 补足。新增紫色和绿色机器人队伍，与原有蓝红两队并存。
#编码
Simon WillisonAI 评分2222 The DecoderAI 评分6767 研究：花哨的编码智能体框架更贵但并未更好
Liu 与 Han 的研究用 Claude Code、OpenCode 和 mini-SWE-agent 三个框架测试 Qwen3.6、Qwen3.8、Deepseek-V4-Flash、GLM-5.3-Flash 和 HY4-Preview，发现换框架带来的结果变化与同一设置重跑一次相当，任务级翻转率均为 13%，而换模型为 22%。
Latent Space精选AI 评分8282 月之暗面发布 Kimi K3.1 Pro：2.8T 总参数、104B 激活，承诺 11 月 4 日开放权重
月之暗面发布 Kimi K3.1 Pro，这是一款 2.8 万亿总参数、1040 亿激活参数的多模态 MoE 模型，支持 100 万 token 上下文，标准版与 Highspeed 版已上线网站、App、Kimi Work、Kimi Code 和 API，Highspeed 号称输出速度提升 2–3 倍、价格为标准版两倍。
推荐理由：汇总了 Kimi K3.1 Pro 的独立评测、定价与开源承诺，也保留了围绕推理成本和推广合规的争议。
The Decoder精选AI 评分8080 月之暗面发布 Kimi K3.1 Pro，智能指数升至第四逼近 Claude Opus 5.5
月之暗面发布 Kimi K3.1 Pro，在 Artificial Analysis 智能指数上得分 55，比 K3 提升 11 分，位列第四，仅落后 Claude Opus 5.5（58）、Claude Sonnet 5.5（56）和 Muse Wonder Full（56）。
推荐理由：Kimi K3.1 Pro 在多项基准上逼近 Claude Opus 5.5，且计划开放权重，读者可据此判断开源与闭源模型的差距变化。
The Decoder精选AI 评分7878 Anthropic 用 Claude 自动为现有代码生成形式化安全证明
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 对 Google OSS-Fuzz 项目中 123 个开源库的测试程序做形式化验证，几周内产出约 1.8 亿行数学证明代码，由 Rocq 独立校验，据称几乎不需要人工复核。
推荐理由：材料给出了 Claude 自动生成形式化证明的规模、发现的真实缺陷和适用边界，读者可据此判断 AI 验证代码的可行范围。
The DecoderAI 评分7272 Recursive 发布首个由 Eureka Machine 参与研发的模型 Flint
AI 初创公司 Recursive 发布首个语言模型 Flint，研发过程几乎每一步都有其自研系统 Eureka Machine 参与，由该系统自主提出想法、实现、测试并规划后续实验。
OpenAI NewsAI 评分2222 Cloudflare 借助 OpenAI 将漏洞发现与防御联动
Cloudflare 使用 OpenAI Daybreak 调查漏洞并提出修复方案供人工审核，其开发者则用 Codex 加快开发速度并提升代码质量。
TechCrunch · AIAI 评分7272 Recursive 发布笔记本端编码模型 Flint，称大部分开发由 AI 完成
Recursive 发布首个模型 Flint，这是一个可在笔记本上离线运行、以 Apache 2.0 许可在 Hugging Face 免费下载的编码模型，公司称其开发过程大部分由自研的 Eureka Machine 完成，小团队不到四个月从零建成。
Latent SpaceAI 评分6262 Claude Mods：把 Claude Code 的智能体框架翻转成可编程的注意力界面
作者 Dan McAteer 介绍了 Claude Code 的插件机制 Claude Mods：mod 是由 TypeScript 或 JavaScript 函数组成的中间件，运行在 Claude Code 内部，响应提示词、工具调用、界面渲染等事件，可观察事件、改变渲染方式或接管默认行为，从而定制 CLI 与桌面端的交互。
Latent SpaceAI 评分3636 Tenex 如何为财富 2000 强企业构建 AI 原生 SDLC：Alex Lieberman 与 CJ Hess 访谈
Tenex 联合创始人 Alex Lieberman 与 CJ Hess 在 AIE New York 分享了公司如何把"按交付成果付费"的模式扩展到工程组织，目前公司已增长至 75 人，客户涵盖财富 2000 强企业与中型市场公司。
Simon WillisonAI 评分5050 Battle Drones：一款用音频实现多人联机的 vibe coding RTS 游戏
Simon Willison 用 Claude Code 开发出 Command & Conquer 风格 RTS 游戏 Battle Drones，支持两台邻近设备通过音频消息同步游戏状态实现多人对战。
The DecoderAI 评分7474 OpenAI 称 GPT-6 在 COBOL、Fortran 等遗留编程语言上表现大幅提升
OpenAI 针对 COBOL、Fortran、Visual Basic 等训练代码稀缺的“低资源”语言改进了最新模型，并构建 MultiLangBench 与 COBOL 迁移两项评测来衡量进展。
GitHub Blog · AI & MLAI 评分2222 三位 Java Champion 如何用 GitHub Copilot 提升生产力
三位拥有十年以上 Java 经验的 Java Champion 分享了在生产与开源项目中使用 GitHub Copilot 的实践。Vlad Mihalcea 借助 Copilot 将原本需数周的 Optimizer 事件历史 Web 应用开发缩短到两天，并用 65 篇文章训练自定义 skill 模仿自己的写作风格。
OpenAI NewsAI 评分3838 OpenAI 如何提升 ChatGPT 在低资源编程语言上的能力
OpenAI 正在改进 ChatGPT 对低资源编程语言的支持，并新增了软件工程、SQLite 和 COBOL 迁移方向的评测。这些评测用于衡量模型在相关编程任务上的表现。
GitHub Blog · AI & MLAI 评分3838 如何在 VS Code 中继续 GitHub Copilot 应用会话
GitHub Copilot 应用中的会话可直接在 VS Code 中打开并继续，保留原有对话、代码改动和工作上下文。VS Code 会加载该会话关联的 worktree，并在 Copilot 侧边栏显示原会话，用户可逐行审查 diff、手动编辑、本地运行测试，最后提交并推送到会话对应的 pull request。
TechCrunch · AIAI 评分5858 开发者用 AI 给智能电视去广告：dumbtv 与 cleanyourtv 走红
一些开发者和用户开始用 Claude Code 等 AI 智能体改造智能电视，去掉开机广告、追踪功能和预装臃肿应用，并替换桌面启动器。
The Decoder精选AI 评分8585 DeepSeek-V4.1-Flash-1017 发布：智能体与编码任务超越更大竞品，单任务成本大幅下降
DeepSeek 发布 DeepSeek-V4.1-Flash-1017，已在官网、App 和 API 上线，并在 Hugging Face 与 ModelScope 开源模型权重。
推荐理由：DeepSeek 小尺寸 Flash 模型在自家基准上以更低单任务成本超过更大竞品，同时开放内部搜索 API。
OpenAI NewsAI 评分2020 Benefit Street Partners 用 Codex 更快回答客户问题
Benefit Street Partners 的 Anant Kumar 借助 Codex 进行代码审查并加快后续跟进，从而更快回答客户问题。他构建的工具用于比较贷款估值和分析信贷协议。
Simon WillisonAI 评分4242 Addy Osmani 等谈 Claude Code 团队如何做代码审查
Addy Osmani、Morgan Westlee Lunt 和 Qing Wang 提出，"人类是否读过代码"是判断变更风险的粗略代理，更该问的是哪道检查（自动或人工）能抓住问题。这一转变让审查从 PR 末尾的关卡变成持续进行，多数变更在人工查看前已由 Claude 至少审查并修复过一次，从而把团队注意力留给更高层问题。
AWS Machine Learning Blog精选AI 评分7171 Reflection AI 发布开源权重模型 Beam，面向智能体编码
Reflection AI 推出开源权重模型 Beam，面向智能体编码和长周期任务，可维护代码、调用工具并完成多步工作流。
推荐理由：Reflection AI 开源 Beam 的权重与部署路径，读者可据此了解其参数规模、上下文长度和 AWS 落地方式。
Hugging Face Blog精选AI 评分8282 Reflection 开源 501B 模型 Beam，Apache 2.0 许可
美国新实验室 Reflection 的首个模型 Beam 在 Hugging Face 开源，采用 MoE 架构，总参数 501B、每 token 激活 23B，支持 1M token 上下文，Apache 2.0 许可，面向编码与智能体场景。
推荐理由：Hugging Face 给出 Beam 的架构细节、量化版本与 vLLM/SGLang 部署命令，可据此评估自托管成本。
Simon WillisonAI 评分4848 sparqlite：用 Rust 在 SQLite 内实现 SPARQL 1.1
sparqlite 是一个用 Rust 编写的 SQLite 可加载扩展，将 RDF quad 存入普通 SQLite 表，并在 SQLite 进程内原生执行 SPARQL 1.1 查询与更新。
Simon WillisonAI 评分2020 Chirp Pong：用手机麦克风音频传输的双人对战游戏
Simon Willison 用 Claude Opus 5.5 Extra 在 Claude Code 中做出 Chirp Pong，一款两台手机通过麦克风发送 chirp 音频、由 Web 麦克风 API 解析来同步游戏状态的双人竞技游戏。它基于静态 HTML 运行，无需网络代码，并加入图形与玩法变化，比传统 pong 更复杂有趣。
TechCrunch · AIAI 评分7474 Meta 发布可在 Mac 上运行的开放权重模型 Muse Spark Open
Meta 发布开放权重模型 Muse Spark Open，拥有 8160 亿参数和 100 万 token 上下文窗口，原生多模态，面向复杂编码任务和智能体工作。
The Decoder同新闻AI 评分8282 Meta 发布 Muse Spark Open，816B 参数重返开源权重赛道
Meta 发布开源权重模型 Muse Spark Open，称其为美国最强的开源权重模型，面向编码与智能体任务，拥有 8160 亿参数（激活 420 亿）、最高 100 万 token 上下文，支持文本、图像、视频和音频。
Hugging Face Blog精选AI 评分8787 Meta 开源 Muse Spark Open：816B 参数多模态 MoE 模型
Meta 发布开源权重模型 Muse Spark Open，采用 MoE 架构，总参数约 816B、每 token 激活约 42B，支持文本、图像、音频和视频输入，上下文窗口最高 1M tokens。
推荐理由：Meta 开源 816B 参数 MoE 多模态模型，给出完整部署、微调与量化运行配方，可据此评估自托管成本。
Ars Technica · AIAI 评分5050 Epic 称其用 vibe coding 重写的新版 Epic Games Launcher 比 Steam 更快
Epic 发布新版 Epic Games Launcher 的公开 "Preview" 版本，称其用 AI vibe coding 从零重写，速度与响应性均优于现有版本，并采用全新界面。Epic Games Store 总经理 Martin Keely 表示，AI 让一个小团队更快重写代码库并跨平台发布，支持 Windows 和 Mac，后续还将推出 Linux 版本。
Latent SpaceAI 评分7070 AINews：AI Engineer NYC 大会、Gemini 4 Argon 与 Vals AI 基准
Gemini 4 Argon 正式全面开放，覆盖 Gemini API、Gemini 应用与 Antigravity，入门 API 价格为每百万输入/输出 token 2/10 美元，Artificial Analysis 称 11 月 30 日后翻倍至 4/20 美元。
The Verge · AIAI 评分6262 Epic 对未公布 Disney 游戏推行 AI 加速开发
据 Bloomberg 报道，Epic Games 计划在一款未公布的 Disney 射击游戏中使用 AI 生成代码和美术，该项目已从原定 3 月发售窗口延期。
Simon WillisonAI 评分2222 Geoffrey Huntley：用 pre-commit hook 强制 AI 智能体使用诊断库
Geoffrey Huntley 提出用 pre-commit hook 检查 git diff，发现绕过诊断模块直接调用可观测性模块的代码就拒绝提交，并向 AI 智能体注入提示词要求其改用诊断库，效果从"有偏差"变成"十全十美"。他认为与其更新 AGENTS.md 后仍会漂移，不如用这种强制手段约束智能体行为。
The Decoder同新闻AI 评分7878 Meta 发布前沿模型 Muse Wonder，两个版本进入第一梯队
Meta 发布前沿模型 Muse Wonder，分为 Muse Wonder 与 Muse Wonder Full 两个版本。Muse Wonder Full 在 Artificial Analysis Intelligence Index v4.3 上得 56 分，Muse Wonder 得 52 分，前代 Muse Spark 1.3 为 48 分。
同一新闻，精选展示《Meta 发布首个前沿模型 Muse Wonder》
The DecoderAI 评分6060 Google 被曝测试 Gemini 4 变体 Carbon，编码表现据称接近 Anthropic Opus 5.5
据 Business Insider 看到的文件、截图和内部聊天记录，Google 正在测试 Argon、Barium、Carbon 三个 Gemini 4 变体，其中 Carbon 已在内部编码平台 Jetski 部署数日，据称在编程任务上强于 Argon，一名员工将其与 Anthropic 最强编码模型 Opus 5.5 相比，但仍需更多测试。
Ars Technica · AIAI 评分6262 研究：AI 编码智能体生成更多代码，但未带来更多软件产出
哈佛大学研究者 Fiona Chen 和 James Stratton 基于 Jellyfish 的工程分析数据，覆盖 2021 年至 2026 年 3 月间 700 多家软件公司、70 多万名员工的 3 亿条工作事件，发现人类代码审查成为 AI 编码工具整体效率的显著瓶颈。
Simon WillisonAI 评分4040 Simon Willison 用 Codex 语音模式为博客新增 Newsletters 页面
Simon Willison 用 ChatGPT 桌面版 Codex 标签页的语音对话模式，在做饭的半小时里几乎全程靠语音为博客开发出 Newsletters 页面，模型为 GPT-6 Astra High。
OpenAI NewsAI 评分2222 LegalOn 将 Codex 成本减半，同时保持开发速度
LegalOn 将 Codex 每日预估成本削减 65%，同时保持开发速度。其做法是按任务匹配 Astra、Sol 和 Luna，并对预算进行策略性管理。
OpenAI NewsAI 评分2020 Oracle 如何用 ChatGPT 和 Codex 把数天工作压缩到几分钟
Oracle 在招聘、工程和运营环节用 ChatGPT Work 与 Codex 将专家知识转化为快速、可复用的工作流，把原本需要数天的工作压缩到几分钟完成。
Mistral AI精选AI 评分8282 Mistral 发布 1 万亿参数多模态模型 Mistral Large 4 预览版
Mistral 发布 Mistral Large 4 公开预览版，这是一个 1 万亿参数、490 亿激活参数的原生多模态模型，可通过 Mistral Studio 的预览 API 试用，权重将于本月底放出。
推荐理由：Mistral 迄今最大模型以开放权重切入网络安全等企业场景，读者可据此判断欧洲开源路线的能力边界。
The DecoderAI 评分7373 Reflection 发布首个开源权重模型 Beam，主打低算力成本
AI 公司 Reflection 发布首个免费开放的模型 Beam，面向编码、逻辑推理和智能体任务，采用 MoE 架构，每 token 激活 5010 亿总参数中的 230 亿。
Latent SpaceAI 评分7575 Reflection 发布 Beam：501B 总参数 23B 激活的开源 MoE 模型
Reflection 发布 Beam，一个面向编码、智能体与科研任务的纯文本 MoE 模型，总参数 501B、激活 23B，从零训练，完整权重将以 Apache 2.0 在本月放出。
AWS Machine Learning Blog精选AI 评分6060 GLM 5.3 上线 Amazon Bedrock
智谱（Z.ai）的 GLM 5.3 已在 Amazon Bedrock 上线，这是一个 753B 参数的 MoE 模型，面向编码和长程智能体任务优化。Bedrock 提供全托管 API、跨区域推理、提示词缓存和服务层级，支持 OpenAI 兼容的 Responses 与 Chat Completions API 以及 Invoke 和 Converse API。
推荐理由：GLM 5.3 以 753B MoE 模型上线 Amazon Bedrock，读者可了解其编码与长程智能体能力及托管接入方式。