Claude Code v2.1.312 发布：新增 OIDC 用户身份识别与队列消息点击即发
Claude Code 发布 v2.1.312，向 Claude apps 网关新增 oidc.user_id_claim，可按 id_token 中除 sub 以外的声明（如 Microsoft Entra ID 的 oid）识别用户；全屏模式下点击队列消息下方的提示即可立即发送。
原文：2026/10/28
#编码
按收录时间排列 · 卡片保留原文日期，往期好文也会新收录
AIHOT 精选AI 评分5555
AIHOT 精选AI 评分5555 Claude Code v2.1.311 发布：修复启动卡顿与 1M 上下文报错等问题
Anthropic 发布 Claude Code v2.1.311，修复了 CLAUDE.md 含超长列表项时启动和读写文件的长时间卡顿、标准上下文会话请求超过 200K token 后报 "Usage credits required for 1M context" 而中断（现改为自动压缩并继续）、Write/Edit 修改数千行后卡住最多 5 秒等问题。
原文：2026/10/27
少数派AI 评分5555 用小米蓝牙遥控器2 Pro（RC003）打造60元的AI编程语音控制器教程
作者分享如何用小米电视蓝牙语音遥控器2 Pro（RC003，约50~60元）配合社区开源的SayAll（HD838A/remote-mic-app）和微信输入法，实现按住语音键口述Prompt、松手上屏，并用方向键免前缀切换终端Tab与Workspace、OK键确认、返回键中断。
原文：2026/10/25
HN AI 150+ 高分AI 评分8484 Kimi 发布 K3.1 Pro 及 Highspeed 版本，100 万 token 上下文开源模型
Kimi 发布 K3.1 Pro，称其为迄今最强的 3T 级开放权重模型，上下文窗口达 100 万 token，同时推出速度为前者 2-3 倍的 K3.1 Pro Highspeed，已在 Kimi.ai、Kimi Work、Kimi Code 和 Kimi API 上线，完整模型权重将于 11 月 4 日前发布。
原文：2026/10/24
AIHOT 精选AI 评分8484 月之暗面发布 Kimi K3.1 Pro，100 万 token 上下文，开放权重将于 11 月 4 日前释出
月之暗面发布 Kimi K3.1 Pro，这是 K3.1 系列首个模型，具备 100 万 token 上下文窗口，同时推出速度为 2-3 倍的 Kimi K3.1 Pro Highspeed，已在 Kimi.com、Kimi Work、Kimi Code 和 Kimi API 上线，完整模型权重将于 11 月 4 日前释出。
原文：2026/10/24
The DecoderAI 评分7474 Anthropic用Claude自动完成代码形式化验证
Anthropic的Frontier Red Team与合作方Theorem合作，让Claude对现有开源代码进行数学正确性证明：模型在数周内生成约1.8亿行证明代码，覆盖Google OSS-Fuzz项目中123个开源库的测试程序，由独立程序Rocq自动校验。
原文：2026/10/23
AIHOT 精选AI 评分6262 OpenAI 发布 GPT-6 系列模型，提升 COBOL 等低资源编程语言编码能力
OpenAI 宣布 GPT-6 系列模型在 COBOL、Fortran、Visual Basic 等低资源编程语言上能力显著提升，并推出 MultiLangBench 与 COBOL 迁移评估两项自建评测。
原文：2026/10/19
AIHOT 精选AI 评分6868 Tessl 团队：AI 生成代码下用审意图替代逐行代码审查
Tessl 工程师 Ankit Jain 分享团队 PR 量翻四倍、代码几乎全部由 AI 生成后，放弃逐行 diff 审查、改为在代码生成前审查意图并逐条验证验收标准的做法。关键实践包括维护 offer-skill 技能理解代码变更，以及把重复出现最多的审查评论固化成机器自动执行的不变量规则，作者预计第二个月起审查负担明显缩小。
原文：2026/10/20
AIHOT 精选AI 评分6868 Meta 开源权重模型 Muse Spark Open 在 Fireworks 上线，主打长上下文编码与 Agent 工作
Meta 的开放权重模型 Muse Spark Open 在 Fireworks 上 Day-0 上线 serverless 调用，为 816B 参数 MoE 模型，每 token 激活 42B 参数，上下文窗口 1M token，面向长周期编程与智能体工作。
原文：2026/10/20
AIHOT 精选AI 评分6161 Tessl 博客解析编码 Agent 写码占比与人工评审瓶颈的落差
Tessl 博客引用 Jellyfish 2026 年 9 月 AI 工程趋势数据指出，中位数公司已有 22% 的合并 PR 由自主编码 Agent 撰写（90 分位达 53%），但仅约 0.6% 的 PR 由 Agent 评审合并（前 10% 公司为 9%）。
原文：2026/10/21
TechCrunch · AIAI 评分7070 Recursive发布可在笔记本运行的开源编码模型Flint
AI初创公司Recursive发布免费编码模型Flint，可在笔记本本地运行，采用Apache 2.0许可在Hugging Face下载。Flint为混合专家模型，40亿参数中每次任务仅激活25亿，在MacBook Pro上生成约131 tokens每秒，并在SWE-Bench Verified上超过其他50亿参数以下模型。
原文：2026/10/22
GitHub Blog · AI & ML精选AI 评分6060 GitHub Copilot 官方博客：三位 Java Champions 分享提升生产力的实践
GitHub Blog 采访了三位拥有十多年 Java 经验的 Java Champions，介绍他们如何在生产与开源项目中使用 GitHub Copilot。
原文：2026/10/21
推荐理由：三位资深开发者给出从验证门到技能沉淀的具体做法，可迁移性强。
OpenAI NewsAI 评分4949 OpenAI 如何提升 ChatGPT 在低资源编程语言上的编码能力
OpenAI 正在提升 ChatGPT 在低资源编程语言上的编码能力，新增了针对软件工程、SQLite 和 COBOL 迁移的评测。这些评测用于衡量模型在 COBOL 等小语种和 SQLite 场景下的表现，帮助改进 ChatGPT 的代码生成与迁移能力。
原文：2026/10/19
OpenAI NewsAI 评分2222 Benefit Street Partners 用 Codex 加速回答客户问题
Benefit Street Partners 的 Anant Kumar 使用 Codex 进行代码审查并更快完成后续跟进，用于构建比较贷款估值和分析信贷协议的工具。Codex 帮助他加速处理流程，更快回答相关问题。
原文：2026/10/16