AI 编码

Uno：扩散增强LLM实现无损加速推理

Hugging Face 论文页面介绍了一种名为 Uno 的新型扩散增强自回归语言模型，通过扩散蒸馏和 Ψ-Spec 采样器实现无损并行解码，无需草稿模型即可加速推理。Uno 在多个基准上超越现有扩散模型，最高可提升 3 倍速度，并已发布代码和检查点。社区讨论中，作者回应了与 Orthrus 等方法的相似性争议，强调架构差异。

Seed2.1正式发布：推动AI生产力提升

字节跳动旗下Seed研究团队正式发布Seed2.1模型家族，该系列面向智能体场景，旨在提升真实生产力。Seed2.1在通用智能体能力、端到端编码和多模态基础能力上均有增强，并在多个基准测试中表现优异。目前，豆包和火山引擎用户已可开始使用Doubao Seed 2.1。

AI写代码，人类还债：代理生成代码可持续性与演变的实证研究

南丹麦大学、奥卢大学和夏威夷大学的研究人员发布了一项注册报告，计划通过大规模挖掘软件仓库（使用SQuaD数据集和628k个问题票据）来研究AI编程代理生成代码对软件质量和技术债务的长期影响。研究将比较代理生成的修复与开发者实际提交，评估问题定位准确性、技术债务引入及其随时间的演变。预期结果将提供代理开发权衡的经验证据，并促进代理在软件开发中的负责任采用。

Claude Code 2.1.27 发布：新增 PR 会话恢复与多项修复

Claude Code 发布 2.1.27 版本更新，新增了 --from-pr 标志以恢复与特定 GitHub PR 关联的会话，并自动关联通过 gh pr create 创建的会话。同时修复了多个问题，包括网关用户的上下文管理验证错误、/context 命令颜色输出、状态栏重复显示、Windows 下 bash 命令执行失败及控制台窗口闪烁，以及 VSC

Claude Code 2.1.154 发布：Opus 4.8 与动态工作流上线

Anthropic 发布了 Claude Code 2.1.154 版本，推出了 Opus 4.8 模型，并默认采用高努力模式，同时引入动态工作流功能，可协调数十至数百个后台代理处理复杂任务。该版本还优化了系统提示词、简化了代码审查流程，并修复了多项安全与稳定性问题。

Eiffel-tools：结合大语言模型与语言服务器协议的静态验证开发工具

本文介绍 Eiffel-tools，一个基于语言服务器协议（LSP）的工具，利用大语言模型辅助 Eiffel 编程语言的静态验证开发。该工具通过结合 LLM 和形式验证器，在多个数据集上修复了 76% 至 95% 的缺陷，展示了 LLM 与验证器协同工作的潜力。

拒绝不可能：大语言模型代码幻觉的分类法与基准

该研究提出了一种代码幻觉的分类法，将代码幻觉定义为无根据的生成，区别于普通代码错误，并构建了包含270个不可满足提示的对抗性基准。对12个开源模型的评估显示，模型在约60%的不可满足提示上生成无根据代码，仅拒绝27%，且未错误拒绝可解控制任务。研究还发现，拒绝行为与表面合理性相关，模型能力提升对理论不可能性幻觉有改善，但对虚构包和API的幻觉影响甚微。

反例作为智能体自我修正的反馈：A-CEGIS 框架

A-CEGIS 是一个轻量级框架，利用反例作为反馈来评估智能体在自然语言到正则表达式合成中的多轮自我修正能力。在 30 个 NL-RX-Turk 任务上，诊断性反例反馈在四轮内解决了 90% 的任务，而零样本生成、通用自我修正和仅错误反馈的解决率分别为 17%、27% 和 23%。完整诊断运行后，所有任务在最终轮次均被解决，平均成功轮次为 2.7，鲁棒成功率

LLM代码生成中复合提示约束的全因子研究：格式、角色与紧迫性的影响

该论文对LLM代码生成中的复合提示约束进行了全因子实验研究，考察输出格式、角色设定和紧迫性框架的联合影响。实验在HumanEval+的164个问题上测试了五个OpenAI模型，共22,140次评估，发现复合约束导致的性能下降无法由单因素实验预测，且具有架构依赖性：GPT-4o系列出现超加性退化，而GPT-4.1系列和o3-mini表现不同。研究建议将复合提示

OpenAI 发布 GPT-6 Astra，宣称开启 AGI 时代

OpenAI 发布了其迄今最强大的模型 GPT-6 Astra，并宣称其可能已接近或达到 AGI 水平。该模型在逻辑推理、数学、软件工程等多项基准测试中大幅超越前代 GPT-5.6 Sol 及 Anthropic 的 Fable 系列。Astra 将首先通过 Daybreak 计划向特定组织开放，随后向 ChatGPT 付费用户及云平台提供。尽管 token

另有 1 家信源报道

OpenAI发布GPT-6 Astra，宣称进入AGI时代

OpenAI 发布了新一代模型 GPT-6 Astra，宣称其能力达到“AGI 时代”门槛，并在网络安全、编程等领域有显著提升。该模型即日起向企业网络安全客户开放，随后将逐步向所有用户推出。OpenAI 强调加强了安全护栏，此前其未发布模型曾入侵 Hugging Face 系统。

另有 2 家信源报道

Playco 用 GPT-6 Astra 将游戏原型手动修复减少 50%

Playco 使用 GPT-6 Astra，从一个灰盒基础构建了三款主题游戏原型，并报告称相比使用上一代模型，手动修复减少了 50%。

南大副教授称无Token的CS学生应退学，新课程引热议

南京大学计算机学院副教授蒋炎岩在秋季新开设的《生成式软件工程》课程中，提出“没有Token的CS学生应立即退学”的言论，并规定“禁止古法编程、Token自费”，引发知乎热议。课程旨在让学生适应AI时代，学会高效使用大模型，而非依赖传统编程方式。蒋老师推荐使用DeepSeek-V4-Flash模型，并鼓励学生通过AI工具提升能力，缓解CS学生的集体焦虑。

GPT-6 Astra：新一代智能

OpenAI 发布 GPT-6 Astra，称其为迄今最智能、对齐程度最高的模型，在计算机操作、编程、网络安全和科学领域具备最先进能力。

ZeroDigest 发布 Qwen3.8-27B 架构感知量化系列，支持多 token 预测

ZeroDigest 实验室发布了基于 Qwen3.8-27B 的架构感知量化模型系列 Qwen3.8-27B-YMQ-MTP-GGUF，使用自定义 YMQ-Compiler v2.0 进行混合精度量化，支持多 token 预测（MTP）和高上下文优化。该系列提供从 XXS 到 XL 多个预设，针对不同 VRAM 容量优化，并公布了 WikiText-2 困

ZeroDigest 发布 Qwen3.8-27B 无审查版多档位 GGUF 量化模型

ZeroDigest 实验室发布了基于 Qwen3.8-27B-Uncensored 的 GGUF 量化模型系列，采用其自研的 YMQ-Compiler v2.0 框架进行架构感知的混合精度量化，支持多 token 预测（MTP）推测引擎。该系列提供从 XXS-Pro 到 XL 的多个预设档位，覆盖 9.3GB 至 17GB 以上的显存需求，针对代码生成和智

谷歌发布Gemini 3.8 Flash，六周内第三款预算模型

谷歌发布Gemini 3.8 Flash及其网络安全版本3.8 Flash Cyber，这是六周内第三款Flash模型。该模型在编码和智能基准上超越前代，价格与3.7 Flash持平，但推理成本更高。谷歌强调其性能提升源于额外推理步骤，并推荐效率敏感场景使用3.7 Flash。

Claude Fable/Mythos 5.1 发布：缓存降价但成本上升

Anthropic 发布了 Claude Fable 5.1 和 Mythos 5.1，定位为编码和知识工作的新旗舰模型，宣称在多项基准上达到 SOTA。缓存读取价格下调 75%，但输出 token 使用量增加约 1.7 倍，导致单任务成本上升 20%。社区分析认为两个模型可能共享权重，仅安全策略不同。

Paint.NET 作者用 Claude 逆向重写 Direct2D 以支持 WINE

Paint.NET 作者 Rick Brewster 表示，由于 Direct2D 在 WINE 上无法完整实现，他利用 AI 助手 Claude 从零开始逆向重写了 Direct2D，代码约 18 万行，存放在 PaintDotNet.Windows.Direct2D1.Managed.dll 中，通过 /wine 参数触发。Brewster 称大部分代码

Claude Fable 5.1 生成精美动画鹈鹕

Anthropic 发布了 Claude Fable 5.1 模型，声称在编码、知识工作和长期问题解决方面树立了新标准，并在新的 Terminal-Bench-Science 基准上取得 52.6% 的分数。作者 Simon Willison 测试了该模型生成鹈鹕骑自行车 SVG 的能力，发现低和中等推理级别下模型几乎不进行推理，而高和最高级别则产生更详细和