AI 编码

2026 奇点智能技术大会日程公布：聚焦 RSI、Agent 与 Physical AI

2026 奇点智能技术大会将于 11 月 20—21 日在北京万达文华酒店举行，官方公布了完整日程。大会设 18 大专题、70+ 演讲，覆盖 RSI、Agent、AI4AI、世界模型、Physical AI、AI Infra 与企业级应用等方向，OpenAI 的 Łukasz Kaiser、京东段楠、昆仑万维成宇等将作主会场分享。C++ 及系统软件技术大会同

TimeArch：面向软件架构设计的多智能体方法

芬兰坦佩雷大学、于韦斯屈莱大学及Aimbition公司的研究者提出TimeArch，一种面向软件架构设计的多智能体方法，将架构设计组织为需求定义、架构设计、验证与保障、交付与演进四个受治理的生命周期阶段，并结合基于智能体的推理与检索增强 grounding。该方法旨在填补GenAI编码工作流中从需求到代码之间缺失的架构层，提升可追溯性、验证与治理能力；作者通

CCORE 发布基于 Qwen3.5-4B 的 3D 资产代码模型

CCORE 基于 Qwen/Qwen3.5-4B 微调发布专用 4B 代码模型 CCORE GLB-3D-Coder，可将文本提示生成完整的 Three.js HTML/JavaScript 页面，并支持导出 GLB 资产用于 Godot 等编辑器。该模型以 Apache 2.0 许可发布，提供 Q4 K M、Q8 0 及原始 Safetensors 权重，

AgentionAI 发布 Qwen3.8-Flash-Next Gyro-Coder GGUF 量化编码模型

AgentionAI 在 Hugging Face 发布 Qwen3.8-Flash-Next 的 Gyro-Coder GGUF 量化版本，通过每层仅保留 512 个专家中与编程相关的 256 个，并用自研 trellis 编码器实现 2.125 bits/weight，使 125B 参数的 MoE 编码模型可在单张 24GB 显卡（19.92 GiB 权

Axiom Math 用 AI 智能体形式化验证 Stacks 数学库

Axiom Math 宣布已用 AI 智能体将人类最大数学文献库之一 Stacks Project（约 7654 页）形式化为约 1600 万行 Lean 代码，并通过证明助手逐行验证。这家估值 16 亿美元的初创公司由 25 岁的 Carina Hong 于 2025 年 3 月创立，今年 3 月完成 Menlo Ventures 领投的 2 亿美元 A

腾讯发布Hy4：支持视觉与电脑操作，称在中国AI模型中排名第二

腾讯发布AI模型Hy4，首次支持图像理解与自主操作软件，并针对编程、金融和办公场景优化。腾讯称其已进入最强开放权重模型之列，但权重将后续发布，目前仅通过腾讯云、OpenRouter和元宝等应用提供。独立评测中Hy4在中国模型中排名第二，但在高难度数学和编程任务上明显落后于Claude Opus 5.5等顶级模型。

微软发布 PDD Kit：形式化验证智能体生成的全栈 Web 应用

微软研究院发布 PDD Kit，将形式化方法引入日常软件开发：它把用户意图转化为 Verus 形式化规范，证明编码智能体生成的代码对所有输入都满足规范，无法证明的部分则回退到测试。团队在 GitHub Next 的 Chopin 环境中用其验证 Rust 全栈网店 Pet Store 的登录逻辑，证明不存在登录缺陷并发现既有 bug，开发者无需逐行阅读生成代

Meta 收购 AI 编程初创公司 Conductor，大厂竞相锁定开发者

Meta 宣布收购 AI 编程初创公司 Conductor，后者允许开发者同时控制多个 AI 编程智能体，CEO Charlie Holtz 已确认交易但未披露金额。此举旨在强化 Meta 的 AI 开发者产品，并顺应大厂通过收购模型周边工具锁定开发者的趋势。作为对比，Anthropic 的 Claude Code 在 2 月年化收入已超 25 亿美元，Op

另有 1 家信源报道

Mistral 发布 Large 4 并扩展 Studio 企业智能体平台

Mistral AI 发布 Mistral Large 4（代号 Le Chonk），在编码、防御性网络安全和复杂文档推理方面能力增强，并扩展企业平台 Mistral Studio，新增托管智能体、应用、工作流、企业上下文、智能体可观测性与评估等功能。Studio 支持在云、VPC 或本地部署，客户包括 ABANCA、BNP Paribas、Accentur

Meta 收购 AI 编程初创公司 Conductor

Meta 收购了 AI 编程初创公司 Conductor，后者允许用户通过将多个智能体部署到并行工作区来启动软件项目。Conductor 创始人兼 CEO Charlie Holtz 在博客中宣布了这一消息，并表示核心功能将维持到明年初，但云服务将于 11 月 20 日关闭并删除用户云数据。Meta 向 TechCrunch 确认了这笔交易，但未透露更多细节

另有 1 家信源报道

OpenAI 将收购 Pierre Computer Company

OpenAI 将收购 Pierre Computer Company，以扩展 Codex 在代码构建、理解和审查方面的工具能力。

另有 1 家信源报道

一次性实现：软件工程的目标是什么？

这篇 arXiv 论文探讨编码智能体（coding agents）可能带来的「一次性实现」范式：智能体可根据需求、测试、架构约束和运维记录重新生成全新实现（regeneration），使实现变得可丢弃，从而绕开并消除既有技术债。作者指出，现有代码中可能包含未文档化的知识（如事故后加入的重试保护），重新生成的实现即使通过测试也可能丢失这些关键行为。论文通过从业

编码智能体是否遵循 AGENTS.md？策略措辞对指令遵循的影响

奈良先端科学技术大学院大学等机构的研究者研究了编码智能体是否遵循 AGENTS.md 等 Agent Context File（ACF）中的策略，以及策略措辞风格对遵循率的影响。他们在 86 个基准任务、四种 harness–模型组合中，将同一条策略以四种风格插入 ACF，发现条件式措辞的遵循率低于规定式和解释式，而规定式与解释式孰优孰劣因组合而异。该研究表

面向大语言模型的紧凑公式感知电子表格抽象

该论文提出一种紧凑的、公式感知的电子表格抽象方法，用位置、类型、R1C1公式模式和边界值来表示大型同质区域，并在向LLM提交详细内容前先提供该抽象。在50个电子表格查询案例上的评估显示，该抽象本身足以回答部分查询，需要额外内容时可减少提交给LLM的数据量和token消耗，并提升处理的可靠性与准确性。该方法已集成到作者团队商业软件AI Agent for Ex

智能体计算机图形学进展：统一分类与文献系统

该论文提出了一套面向LLM驱动的智能体计算机图形学（agentic computer graphics）的统一分类体系和文献系统，用于分析人机协作与长程规划的趋势与开放挑战。作者指出，LLM智能体已能生成图形代码并通过反馈迭代改进，这催生了围绕智能体系统构建图形算法的新范式。由于该领域研究快速增长、术语不统一，人工文献综述难以跟上，因此他们构建了可大规模辅助

OpenAI 称 GPT-6 Astra 一周内从零设计出硬件设备

OpenAI 称其硬件团队使用 GPT-6 Astra 设计了一款让用户与 Codex 编程智能体对话的设备，作为副项目在不到一周内完成，Astra 承担了外壳设计、PCB 布局与元件选型、走线、固件和用户界面等全部环节。代工厂在不到一个月内生产出小批量原型，但因 Astra 未充分考虑制造约束、公差和装配细节，经历了多轮修改。OpenAI 还披露一个未公开

另有 1 家信源报道

加速物理世界的工程工作

ChatGPT 和 Codex 正在帮助工程师加速 CAD、PCB 设计、仿真以及其他跨物理世界的工作流程。

另有 1 家信源报道

Anthropic 在 Claude Code 中封禁游戏克隆

Anthropic 员工 Addy Osmani 确认，Claude Code 的系统提示词中新增两句话，禁止其克隆他人游戏，该规则已生效数日，即使克隆作品改名或冒充原创也会触发。此举源于用户利用 Opus 5.5 和 GPT-6 Astra 大量生成《光环》《GTA 罪恶都市》等游戏的浏览器移植版，以及借助逆向工程工具复刻 Adobe Creative C

另有 1 家信源报道

REA 实测：Gemini 4 Argon 与 GLM 5.3 复刻故宫名画记

雷峰网 AI 科技评论实测开源逆向分析工具 REA，让 Gemini 4 Argon 与 GLM 5.3 分别拆解并复刻故宫博物院线上名画鉴赏平台「故宫名画记」的作品展示功能。结果显示 Gemini 4 Argon 更贴近原站，保留三列布局、四项筛选与详情页结构；GLM 5.3 虽能跑通浏览路径，但简化了筛选区并改写详情页。文章同时引用 Artificial

IFM 发布 K2-Horizon-7B 开源模型

IFM 在 Hugging Face 发布 K2-Horizon-7B，这是 K2-Horizon 系列的中等规模稠密解码器模型，拥有 512K 原生上下文窗口，并采用 Apache-2.0 开源许可。模型提供中间检查点、Diffusion Adapters 以加速推理，且训练数据、配方、代码与评测资源全部公开。基准测试显示其在数学、编程与科学推理任务上优于