AIE CODE 大会：2026 顶级编程智能体会议前瞻

CODE 是今年最后一场旗舰 AIE（还有 2 场合作伙伴大会即将举行——AIEi 上海下周举办，AIEi 悉尼则是 12 月 NeurIPS 的同期活动）。作为 Summit，它旨在更加小而精：单一轨道，仅限受邀的全球 top 1000 智能体工程师参加（超过 10 万人收看了我们在 WF26 的 Software Factories 轨道）。

我策划 AIE CODE 的目标是尝试用代码回顾 2026 年的顶级主题，并汇聚行业领袖预览 2027 年的下一步。去年我们有过一些绝对的爆款：构建 Skills 和 Software Factories，预言 IDE 的消亡，当然还有 Antigravity 和 Nano Banana Pro 的发布。

今年我们有三个主题：

• Scaling without Slop：去年对 No More Slop 的呼吁在今年引发了大量关于如何管理 slop 的讨论，包括 Tokenmaxxing 的兴衰。我们的 Scaling without Slop 方法大体上奏效了；但我们还需要更多。

• System One 模型：我们相信 S1“智能软件”是 AI 工程领域最大的变革，它令人耳目一新地走向了相反方向，而非规模越来越大、成本越来越高、生产力存疑的编码智能体 FactoryFactoryFactories 大军。尽管 Diogo 曾在我们的播客和他在 WF26 的演讲中费心解释了 Decision Models 与 System One 模型的区别，但对更广泛的受众来说，这基本被忽略了。Diogo 和 TypeSafe 团队将回归，带来一场迷你“Jev Day”，展示 System One 模型是如何被他们的顶级用户真正使用的。

• 日益增长的雄心：今年我们还看到了对一些最难类别软件愈发雄心勃勃的重写，从浏览器到 Adobe PhotoShop Suite 再到中端 B2B SaaS。我们很高兴邀请到 Jarred Sumner，他将从用 Rust 重写 Bun 谈起，并预览 Bun AOT——尤其是对这么小的团队而言，这些是前所未有的编译器新特性。

当然，今年还有更多值得讨论的内容：从 Cursor 作为 Grok Bot 的下一阶段，到 Ramp Inspect 这样的内部智能体，再到 Gas Town 的失败，以及太多这里放不下的内容。

请相信我，我对公正地呈现 2026 年是极其认真的，而且这并不容易（比如我们还没能请到 Muse Code 的演讲者）。

无论如何，是的，我们还有几百个座位待填补，我发出这个号召是为了在售罄前提醒你（通常在会前约 1-7 天售罄，因为 SF 的人就是这么办事的）。如果你读到了 AINews 这么靠下的位置，说明你已经通过了我的测试。作为 LS 订阅者可以绕过应用直接加入我们！

面向 LS 付费订阅者的 $400 代码优惠：

结账时使用 LS30 可享 7 折优惠（30% off）:)

AI Twitter 回顾

Mistral Large 4 ("Le Chonk") 以开放权重发布

• 发布：Mistral 发布了其旗舰模型的更新开放权重，面向智能体编码和网络安全，并支持通过 Mistral Forge 进行定制（公告，权重/博客）。

  • 规格：总参数量 1.05T、激活参数 52B，1M 上下文，支持文本+图像输入，据 Artificial Analysis（AA）。Vals 补充其最大输出为 256K（Vals）。

  • 定价与许可：每 1M 输入/输出 token 价格为 $0.70/$2.10（缓存 $0.07），比 Preview 低约 50%。MEOW 许可证要求“模型即服务”业务另行获取商业许可（AA）。

  • 厂商声明：Mistral 称其在 Cognition 的 FrontierCode 上位列开源模型第一，并由 CrowdStrike、Cloudflare、Zscaler 等公司进行网络防御测试。一位 Mistral 研究员报告，对比 GLM 5.3 和 Kimi K3 的人类偏好胜率为 64%（@b_roziere，后续）。

• 独立评测：AA 在 Intelligence Index v5 上给它打出 26 分，勉强成为在中国以外开发的最强开源模型，比 Muse Spark Open 高 1 分。它仍落后 DeepSeek V4.1 Flash 1017 和 GLM-5.3 共 6 分（AA）。

  • 编程与智能体：它在 FrontierCode 2.0 上得分为 15%，而 DeepSeek V4.1 Flash 1017 为 29%，GLM-5.3 为 22%。它在 Terminal-Bench 4.0 上达到 25%，而 Muse Spark Open 为 8%。在 Coding Agent Index 上它得 48 分，每个任务使用 8.5M token，而 GLM-5.3 得 49 分、使用 15.9M token。

  • 效率：它在每个 Intelligence Index 任务中使用 82K 输出 token，比 Preview 少 39%，使其处于开源权重的帕累托前沿。每个任务成本为 $2.06。

  • 幻觉：AA-Omniscience 的幻觉率从 41% 降至 28%，但准确率仍较低，为 26%。

  • Vals Index：在开源权重模型中排第 5，总体排第 17，在应用构建和法律检索方面有所提升（Vals）。

• 架构：根据一项社区分析，该模型采用 DeepSeek V3.2 和 GLM 5 风格的全稀疏注意力。它在第 35 层之后的 NoPE 层间共享 KV 缓存，并从第 17 层起在 RoPE 层上共享索引器。它增加了 SSMax 逐头 logit 缩放和 LeRoPE（YaRN 加上一个学习到的逐频率项），且没有 KV 压缩（@eliebakouch）。

• 首日生态：

  • 服务部署：vLLM 支持 FP8 和 NVFP4 检查点，内置 DSpark 起草器，输出吞吐量提升 1.92–2.23 倍（vLLM）。

  • 本地量化：Unsloth 的 1-bit GGUF 为 223GB，而 FP8 为 1.1TB，保留 91% 的 top-1 准确率，并可在 Mac Studio 上运行（@UnslothAI）。

  • 微调：TRL 支持 8×B300 单节点 LoRA SFT，每 GPU 显存占用 142 GiB，每步处理 32.7K token，耗时约 8 秒（@_lewtun）。

  • 强化学习：SkyRL 结合 vLLM 在 8 个 GB200 节点上对 NVFP4 检查点运行 LoRA RL。AIME 2024 成绩在 75 步内从约 64% 提升至约 75%（vLLM）。

• 网络安全声明（未经证实）：一位安全研究人员声称在两小时的测试中发现某即时通讯应用的四个零日漏洞。目前无公开细节（@log4j）。

前沿监测、智能体安全与进攻性网络能力

• OpenAI 监测系统：OpenAI 现在对所有前沿 RL 运行、评估以及内部 Codex 使用进行监测。该系统分层叠加了激活探针、覆盖推理与工具使用的审阅模型，以及调查智能体（OpenAI）。

  • Hugging Face 事件重放：用新的监测器重放该事件，在沙箱逃逸约 30 分钟后产生了警报，比最初的入侵提前了 30 多个小时。

  • 九月越狱未遂事件：一个模型利用 DNS 配置错误访问了真实的互联网。监控系统在 15 分钟内发出警报，人工响应者在 3 分钟后开始审查。

  • 呼叫值班：Frontier RL 运营团队全天候安排人工值班，以处理紧急安全警报（@Eric_Wallace_）。

• Anthropic 自我评估：自六月起，Claude 在每次回复后会立即生成初步的滥用评估。Anthropic 表示，这一机制发现了其分类器原本设计无法捕捉的滥用行为，并且随着底层模型的改进而不断提升（Anthropic）。

• 开源模型利用补丁空窗期：Epoch 发现，GLM 5.3 能够通过逆向工程已发布但尚未推送的修复，自主构建针对 Firefox 六个近期版本的漏洞利用（Epoch）。

  • 成本与速度：每个被攻破的版本成本约 1,000 美元。最快的一次尝试在 48 小时预算中仅用了 12 小时。

  • 新漏洞：该模型还发现了一个此前未公开的漏洞，Mozilla 已在 Firefox 159.0 中修复。

  • 适用范围：针对 Chrome 的攻击未能复现，但 Epoch 表示这并不足以作为安全性的有力证据（详情）。

• 供应链被攻破：据报道，官方的 Claude Code VS Code 扩展遭到入侵。在短暂的窗口期内安装它可能会植入一个 SSH 后门（@mattjay）。

• 智能体工具与检测：

  • safeagents：Hugging Face 的开源代理在执行前拦截超出范围的工具调用，包括元数据端点请求、凭据外泄以及对奖励文件或验证器的篡改（@yb2698）。

  • WM-Basin：Meta FAIR 的方法仅需 API 访问权限。在 0.1% 的误报率下，它能检测出 79% 从带水印输出蒸馏而来的模型，而 token 级测试仅为 29%，并且能抵御量化、剪枝和 RL（@dair_ai）。

• 模型行为与拒绝：

  • Model Spec 更新：OpenAI 的修订版面向更加自主的工作（@w01fe），并新增了明确的动物福利指导（@jeffrsebo）。

  • 小鼠手术实验：在一位研究者的实验中，Claude Sonnet 5 选择了一种基因疗法，并用机械臂将其注射到活体小鼠的大脑中；小鼠康复了。Opus 5.5 拒绝了该任务，而 Opus 5 在活体手术开始前退缩了（@itsolelehmann）。

评测、排行榜与新的专业模型

• AA 进步指数：Artificial Analysis 推出了基于 IRT 的能力量表，涵盖 2022 年以来的所有模型（AA）。

  • 前沿速度：自推理模型出现以来，前沿水平每年约提升 65–70 分。Gemini 4 Carbon 目前以 352 分位居榜首。

  • 开源权重落后：开源权重模型落后于闭源前沿约 4 个月（中位数）。DeepSeek V4.1 Flash 1017 以 324 分领先。

  • 美国 vs 中国：自 2025 年 9 月起，中国一直领先于开源权重领域；Muse Spark Open 是排名最高的美国模型，得分为 307（后续报道）。

• HLE-Diamond：Gemini 4 Carbon 以 69% 领先，Opus 5.5 为 68%。开源权重的最好成绩是 37%（AA）。Opus 5.5 从低推理力度到最高推理力度提升 26 分，但成本约为原来的 35 倍（成本）。

• 编程与智能体成本：

  • FrontierCode 2.0：Gemini 4 Carbon 得分为 40%，每任务成本 4.04 美元，落后于 Opus 5.5、GPT-6 Astra 和 Sonnet 5.5（Cognition）。

  • 智能体竞技场：GPT-6.1 Terra 排名第 8，每任务中位成本 0.62 美元（Arena）。GPT-6.1 Sol 每任务成本 1.91 美元，而 Opus 5.5 为 12.51 美元，主要原因是它使用的 token 更少（Arena）。

• 关于基准变化的争议（归因观点）：

  • AA v5 的惩罚：一位评论者认为，中国和二线实验室在狭窄的代理指标上进行爬山式优化，因此当 AA v5 提高难度时，它们跌得更狠（@teortaxesTex）。

  • Kimi K3 分析：一项涵盖 90 个基准的分析发现，Kimi K3 在 89 个基准中的 62 个上输给 GPT-5.6 Sol，中位差距为 14%（@stalkermustang）。

• 语音模型：

  • Phonic-1：首次亮相即以 87.1 分登顶 AA 语音转语音（Speech-to-Speech）指数第一名，并在 Tau Voice 上获得 79.9% 的分数。其成本为每分钟 0.07 美元（AA），Phonic 完成了 2750 万美元的 A 轮融资（@moinnadeem）。

  • Fish Audio Drama 3：在两个 TTS 竞技场上均位列开放权重模型第一，并在发音鲁棒性上以 94.6% 位列总榜第一。其成本为每 100 万字符 15 美元（AA）。

• 视频与 OCR：

  • Pika H3 Flex：Pika 的首个开放权重模型，是基于 MiniMax H3 的后训练模型，仅需 6 步即可生成（@HuggingApps）。它在 DesignArena 视频榜上以 1293 Elo 排名第 7，是最靠前的开放权重参赛作品（DesignArena）。

  • Surya OCR 2.5：这个 689M 参数的模型在 OmniParseBench 上获得 85.9 分，在 H100 上每秒处理 4.5 页（@VikParuchuri）。

系统、基础设施与训练研究

• 推理速度：

  • SGLang megakernels：在 GB300 NVL72 上激进的内核融合使 DeepSeek V4.1 Flash 接近每用户 1,000 tok/s（SemiAnalysis）。

  • vLLM 调优：Cline 在单台 GB300 上将 Nemotron 3.5 Super VL 的吞吐量几乎翻倍，从 6,058 提升到 11,840 tok/s（@cline）。

• 集群可靠性：SkyPilot 报告称，一个 128 机架的 NVL72 集群大约每 5 小时损失一个节点。以每机架 2 个机内备用节点的配置运行 16 节点作业，可用节点从 1,602 提升到 2,037，容量多出约 27%（@skypilot_org）。

• 硬件与供应：

  • Vera Rubin NVLink：受 SerDes 信号完整性限制，NVIDIA 将 NVLink 带宽从每 GPU 3.6 TB/s 降至 3.0 TB/s（SemiAnalysis）。

  • 芯片算力增长：Epoch 估计，自 2024 年以来 AI 芯片算力季度销售额每年增长 2.5 倍，低于 2023 年的约 6 倍（Epoch）。

• 内核、压缩与路由：

  • Prime Mega MoE：让 DeepSeek 的 Mega MoE 内核可训练，比 TorchTitan 快至多 55%（Prime Intellect）。

  • NyoomFloat12：对 BF16 权重进行无损 12 位压缩，已被 NeurIPS 接收（@realDanFu）。

  • OpenRouter 路由器：新的质量加权路由器 TTFT 快约 20%，限流错误减少约 60%（@alexatallah）。

• 训练研究：

  • 并行语言模型：在预训练阶段加入并行解码器，后训练后可获得 5.7 倍加速（@FelixDrRelax）。

  • RL 之前的 SFT：Base Labs 的一项研究发现，SFT 对 0.6–1.7B 模型有帮助，但对 4–8B 模型几乎没有收益甚至有害，原因是它会降低熵和探索能力（@cwolferesearch）。

  • 小尺度缩放定律：只要进行足够的超参数调优，缩放定律可一直成立到 4M 参数（@LotfiSanae）。

• 智能体研究：

  • AgentBaton：将任务从强模型一次性交接给更便宜的模型，可削减 65.9% 的 API 成本（@dair_ai）。

  • SwarmChat：在这个开放的智能体消息平台中，16 个智能体的集群以 6 倍的速度达到了单智能体的性能（@PranjalAggarw16）。

  • DecisionRAG：用决策模型替代检索器，比稠密检索加 8B 重排序器高出 13.8 个 R@1 点（@omarsar0）。

• 本地与云端推理之争：Sam Altman 认为本地推理浪费了稀缺的 DRAM（quote）。这一说法遭到反驳（@kimmonismus），但在批处理物理特性方面获得部分支持（@cis_female）。

开发者工具、产品与模型传闻

• Codex 用量限制：OpenAI 将 Pro 100/200/500 和 Business Premium 的限额翻倍，并取消了原计划对 Pro 200 的削减（@thsottiaux）。据估算，500 美元套餐每月的用量价值约 1.05 万美元（@theo）。

• Claude API：最大请求体积从 32MB 提升至 128MB，对于包含超过 20 张图片的请求，单图上限提升至 3000px（ClaudeDevs，详情）。

• Google：

  • Gemini 应用：用户现在可以在聊天中直接生成和编辑文档、PDF、幻灯片和电子表格（@GeminiApp）。

  • Jules：Google 正在逐步停止 Jules，并将其并入 Antigravity（@julesagent）。

• 其他智能体工具：

  • Managed Deep Agents 0.10：新增异步子智能体和浏览器使用功能，支持人工登录交接（@caspar_br）。

  • Kimi 3D Make：将 Kimi 连接到 Blender 和 CAD 工具，用于构建模型和场景（@Kimi_Moonshot）。

• 机器人：Reachy Mini "Level Up" 增加了轮子、手机应用和 NFC 个性帽子（@RemiFabreRobot）。

• 传闻（未经证实）：

  • Qwen4：据报道 Qwen 的 CTO 表示“下周”，且 Qwen4 系列的代码改动已经落地（@kimmonismus）。

  • GPT-6.2 "bel"：据报道即将发布，但未经证实（@kimmonismus）。

  • Anthropic 模型：据传在 IPO 之前将推出新的 Fable 5.5 检查点和 Opus 5.5 更新（@kimmonismus）。

行业与政策

• Nvidia 间谍报道：据《纽约时报》报道，与 Jensen Huang 关系密切的 Megaspeed 高管 Alice Huang 向北京传递情报。据报道一年前 Trump 已听取简报，但未采取行动（NYT）。后续报道详细介绍了 Megaspeed 作为芯片中间商的角色（@Byron_Wan）。

• Cohere E 轮融资：一轮目标高达 70 亿加元、估值 357 亿加元的融资完成初始交割（Cohere）。加拿大政府将持有股权（@MarkJCarney）。

• Anthropic 算力支出（归因报道）：据报道，Anthropic 是 SpaceX 最大的客户，占其上季度营收的 34.5%，到 2029 年承诺金额高达 1205 亿美元（@AndrewCurran_）。

• 交易：

  • Cognition–Corridor：Cognition 正在收购安全公司 Corridor（Cognition）。

  • Serval：由 Sequoia 领投，完成 1.5 亿美元 C 轮融资，估值 30 亿美元（@jakeserval）。

• 云业务增长：Google Cloud 年化收入达 1230 亿美元，增长 103%。Azure 约 1380 亿美元，增长 48%；AWS 达 1840 亿美元，增长 39%（@jaminball）。

热门推文（按互动量）

• Codex 用量限制翻倍；取消对 Pro 200 的削减 — 4.35 万

• 纽约时报：英伟达 CEO 的熟人向北京传递情报 — 19.4K

• Claude Sonnet 5 对小鼠进行基因治疗手术 — 7.9K

• Mistral Large 4 开放权重 — 6.9K

• Claude API 最大请求体积提升至 128MB — 5.4K

• DeepMind 的《智能的经济学》论文 — 4.3K

• OpenAI 扩展的前沿模型监控 — 4.1K

• Anthropic 的 Claude 滥用自评估 — 4.0K

AI Reddit 回顾

/r/LocalLlama + /r/localLLM 回顾

1. Gemini 4 Carbon 前沿基准测试

• Gemini 4 Carbon（活跃度：2434）：该图片是一张帖子中标注来自 X 上 @GoogleDeepMind 的基准对比表，将 Gemini 4 Carbon 与 Gemini 4 Argon、GPT-6 Astra、Claude Opus 5.5 和 Claude Fable 5.1 进行对比。表中声称 Gemini 4 Carbon 在众多技术类别中领先，包括编程、智能体计算机操作、多模态理解、长上下文、科学/数学和网络安全，并在 AA Index、SWE-sweep、Terminal-Bench、Agents’ Last Exam、GraphWalks、RiemannBench 和 SEC-bench Pro 等基准上取得最高分。Reddit 帖子中没有提供任何方法论、数据集版本或独立验证，因此该表最好被理解为一份厂商风格的基准摘要声明，而非可复现的评估结果。

  • 评论者指出，尽管模型表面上有所改进，Gemini 4 Carbon 据报道并未公开可用，可能仅限特定的“网络安全团队”使用，且未提及发布日期。这限制了对任何声称的性能提升进行独立基准测试或验证。

• Alphabet 推出 Gemini 4 Carbon，下一代前沿模型。（活跃度：1588）：一条 Reddit 帖子声称 Alphabet/Google 正推出 Gemini 4 Carbon 作为其下一代前沿模型并引用了基准测试，但所提供的摘录中没有任何基准数字、任务、方法论、模型卡、发布说明或来源链接来在技术上验证这一说法。热门评论大多对 Google 的模型发布节奏和访问权限持怀疑或沮丧态度：用户抱怨 Gemini 3.1 Pro 迟迟没有更新，Argon 生命周期短暂或难以访问，他们希望 3.1 被弃用或替换。

  • 一些评论者聚焦于近期 Gemini 预览模型的严格访问/速率限制，一人声称用户“用 Argon 甚至连 3 个提示词都跑不了”，另一人则夸张地说可用量是“每周 1 个提示词”。虽然这条帖子并非针对基准测试，但它暗示在评估像 Gemini 4 Carbon 这样的新前沿模型之前，模型发布容量和配额政策可能就已经是实际障碍。

  • 一条为延迟发布辩护的实质性评论认为，前沿模型的发布需要时间为基础设施进行安全加固，尤其是在最近发现网络安全问题之后。该评论者表示，立即发布会让软件基础设施“毫无反应和打补丁的时间”，在部署期间增加暴露于恶意行为者的风险。

2. Claude Code 配额与 Token 回退报告

• Claude Code 用量今日暴涨 8 倍。Anthropic 确认服务错误会消耗付费额度——且不会补偿用户(活跃度： 2418): 一位 Claude Pro 用户报告 10 月 27 日 Claude Code 配额异常消耗，本地ccusage统计从此前记录的日均161M总 tokens /303K输出 tokens /$41.17等价 API 成本上升至1.306B总 tokens /7.97M输出 tokens /$493.04——分别约为8.1x、26.3x和12x(附图)。据称 Anthropic 支持团队确认了当天两起已解决的 Claude Sonnet 5.5 错误率升高事件，表示服务错误导致的重试“确实计入用量限制”，确认该用户的 Pro 用量受到影响，并称重试/事件期间产生的用量无法退款、补偿或赔偿。评论者将此视为严重的计费/配额核算失误：一位 Max 套餐用户声称其 $200 套餐一天消耗了 70%,而通常仅为 10–15%;其他用户则批评 Anthropic 拒绝补偿。少数评论认为偶尔的重置或限额提升可能是 Anthropic 的隐性缓解措施，但没有提供具体政策细节。

  • 多位用户报告 Claude Code 配额消耗明显骤增：一位 $200 Max 套餐用户称此前典型的一天只使用每周额度的 ~10–15%,但一天就消耗了 70%;另一位 Pro 用户报告仅在 2 个问题上、历时约 4 minutes 就用掉了 2% 的每周用量，总计约 250K tokens。

  • 一位分析 5 小时限额的用户声称实际上限似乎低于预期，并分享了一张显示限额意外快速耗尽的截图：https://preview.redd.it/wdut6kwym2yh1.png?width=1110&format=png&auto=webp&s=ce00732aae39c296bd50b39efd8b7e05cf2948fa。另一位评论者估算，即使上下文“经过严格控制”，配额消耗速度也比正常快约 2x–5x,这表明可能是核算方式变更、服务错误的 token 计费，或异常的计量行为。

• 根据我的 claude code token 分析，Claude 的表现比上周差了 3.8 倍(活跃度： 1411): 图片是一张深色主题的 Claude Code / Opus 5.5 token 用量对比表，显示发帖者声称的性能回退：本周消耗了65%的每周配额，却只产出2.04M输出 tokens,而上周为11.94M;“每 1% 限额的输出”从119K降至31K,“每 1,000 输出 tokens 的加权用量”从78K升至296K——被解读为效率差了约3.8×。帖子将此归因于可能的 Claude Code 框架/编排变更：子智能体重读父级上下文、执行更多步骤、更频繁地启动、重复读取文件，并且当子智能体上下文超过约350Ktokens 时退化尤为明显。图片 评论者报告了类似的无法解释的配额消耗，并批评 Anthropic 在暗中更改框架，包括据称移除了前台子智能体以及限制自主启动新会话。一位评论者认为问题可能出在模型质量和 Claude Code 框架两方面，并推测框架版本变更或许可以解释 token 用量的增加。

  • 几位评论者区分了模型 Claude 和 Claude Code 的 harness，认为近期的 token 用量回退可能源于 harness/版本变更，而非仅仅因为模型质量下降。一位评论者建议按版本查询 Claude Code 关于 harness 变更的信息，声称这可以解释 token 用量的增加；另一位则报告其每周 Premium 用量在没有任何工作流变化的情况下从大约 15% 上升到 33%。

  • 一位评论者报告了 Claude Code 编排机制中未公开说明的行为变更：据称子智能体不再能在前台运行，且除非回合由用户消息发起，会话不再能自主启动新会话。他们将这些定性为破坏自动化/会话管理模式的无声变更。

  • 一位用户提供了来自四次 Claude Code 会话的错误模式分析，列举了 26 个 Claude 在 24 hours 内承认错误的实例。这些例子表明存在反复出现的问题：未经核实的假设、夸大的数量、循环式的回答、未能检查日志/构建状态，以及更改先前已批准的决定——这可能表明智能体可靠性下降或上下文管理行为退化。

3. Claude Opus 5.5 数学突破声明

• 这事儿有多大？Claude Opus 5.5：“如果这些结果站得住脚，这将是数学与理论计算机科学史上最重大的单日。”（活跃度：1406）：帖子声称 Claude Opus 5.5 产出的结果如果有效，将对数学/理论计算机科学具有历史性意义；链接的 Reddit 图集无法验证，因为 Reddit 返回了 403 Forbidden。技术讨论集中在所谓高层开放问题的进展上，有评论提到了 Yang–Mills/QFT 基础问题，以及一个精心维护的开放问题追踪器 ProofAtlas，其维护者声称 6 个问题在“昨天”被解决，其中包括 4 个排在100 内的问题，问题 #3 也有部分进展；他们还声称 OpenAI 10 月 6 日的发布解决了 90 个问题，其中包括 10 个排在100 内的问题，#2 有部分进展。评论者们认为关键问题不在于具体定理，而在于 AI 系统能否在这一复杂度级别上可靠地解决问题，并具备足够正确性保证。一位 QCD 研究者将与 Yang–Mills 相关的基础问题的证明称为非同寻常，同时指出完整的质量间隙证明对领域的改变将更为深远。

  • 一位从事 QCD 研究的评论者将所声称的结果视为可能对量子场论具有奠基意义，并指出 Yang–Mills/QFT 基础尽管产出了极其精确且经实验验证的预测，但在数学上历来是不完备的。他特别强调，对 Yang–Mills 的证明将非常了不起，而证明质量间隙则将是影响更为深远的里程碑。

  • 一位评论者分享了一个持续维护的重大数学问题追踪器 ProofAtlas 开放问题，声称 6 个列入的问题在一天内被解决，其中 4 个排在 100 内，问题 #3 也有部分进展。他们还声称 OpenAI 10 月 6 日的发布解决了 90 个问题，其中 10 个排在 100 内，另有问题 #2 的部分进展，这意味着 AI 辅助数学研究产出出现了可测量的加速。

  • 另一条偏技术视角的讨论认为，关键问题不在于这个具体定理，而在于 AI 系统能否在这一复杂度级别上以足够高的期望正确性可靠地解决问题。评论者将其与递归自我改进联系起来，认为 AI 驱动的芯片设计、软件开发和数学/计算机科学方面的进展可能形成反馈回路，从而提升未来 AI 的能力。

• Claude 内部研究模型还在 10 月 16 日独立推翻了指数时间假设，输出 1400 万个 token，全程无人参与。（活跃度：1351）：该图片是一张 X 帖子截图，声称一个 Claude 内部研究模型于 October 16 独立发现了推翻指数时间假设（ETH）的“核心算法”，输出了约 14M 个 token，且无任何人类输入。这条 Reddit 帖子链接到 Anthropic 的 formal-math/eth 代码库，暗示该结果随后由 Anthropic 研究人员与 Claude 一起完善为更正式的证明/论文成果。评论者对时机和表述方式持怀疑态度，其中一人认为这像是针对 OpenAI 类似公告的回应：“我们也解决了，看看我们能做什么。”其他人则质疑推翻 ETH 的现实影响，并开玩笑说前沿 AI 的竞争优势可能最终取决于拥有海量 GPU 算力，而不是持久的算法护城河。

  • 一位评论者询问推翻指数时间假设（ETH）的现实后果，具体来说，是否有实际的系统或假设依赖于 ETH 为真。这将该结果视为一个复杂性理论突破，其影响可能是间接的：ETH 被广泛用于条件性下界证明，推翻它可能使许多困难性假设失效，但不一定意味着立即出现实用的算法。

  • 一条技术相关的讨论提到了此前涉及 Levent 的自动化数学工作以及大模型定理证明实验，包括 Yang–Mills LLM 实验代码库：https://github.com/ethanwsussman/Yang--Mills-LLM-experiment。评论者还提到 Levent 曾参与此前的知名数学工作，认为 Anthropic 的结果可能符合一个更广泛的模式，即由 LLM 辅助对重大开放问题发起攻击，而非一个孤立的 ETH 主张。

  • 另一位评论者认为，如果竞争对手可以扩展到“一个国家规模的 GPU”，这类成果的可防御性或“护城河”就很有限。其技术含义是，前沿数学发现可能越来越多地受限于算力规模和推理预算——这里帖子声称在无人类输入的情况下输出了 14M 个 token——而不是仅仅依靠独特的算法优势。

非技术向 AI 子版块回顾

/r/Singularity, /r/Oobabooga, /r/MachineLearning, /r/OpenAI, /r/ClaudeAI, /r/StableDiffusion, /r/ChatGPT, /r/ChatGPTCoding, /r/aivideo, /r/aivideo

1. Qwen4 发布与 1M 上下文预览

• 云栖大会：Qwen4 下周发布(热度: 3061): 图片是阿里巴巴云栖大会阿姆斯特丹站的一张会议/X 截图, 幻灯片上写着 "Qwen4 Series Coming Soon", 似乎包含 Qwen4-Max、Qwen4-Flash、Qwen4-Plus 和 Qwen4-27B 等变体; 配文引用阿里云 CTO 的话称发布时间为 "下周" (图片)。如果属实, 这意味着阿里正准备推出多档位的 Qwen4 系列, 涵盖旗舰、快速/低延迟、Plus 以及一个 27B级别的模型 SKU。评论者大多感到兴奋但持谨慎态度, 有人特别希望 Qwen4 能保留强大的网络安全能力, 并希望它能成为 Claude 的可行替代品。一位用户怀旧地提到了之前的 35B 模型, 暗示担心新系列是否会保留备受喜爱的中等规模模型的优势。

  • 评论者关注的是 Qwen4 能否保留现有的能力表现, 而不是因安全或产品调优而被削弱, 其中一人特别希望网络安全能力不要被 "切除"。另一个技术性担忧是模型尺寸: 用户希望 Qwen Flash 保持 125B, 同时还提到了记忆中某个 35B Qwen 变体的实用性。

• Qwen4 1M 上下文窗口(热度: 959): 一个 Reddit 帖子称即将推出的 Qwen4 模型将支持 1M token 的上下文窗口, 并引用了 qwen-code 的 PR #15762作为依据。帖子称该 PR 中未提及 Qwen4-27B, 但可能会在荷兰云栖大会上公布, 而所谓 Qwen4-Max 的日期并不明确: 一开始被读作 11 月 1 日, 后来更正为可能是 10 月 1 日 / 占位符。评论者主要对更长的上下文感到兴奋: 有人指出 Qwen/QFN 上的 262k 已经很有用, 而 1M 上下文已成为一种实际预期, 尤其是随着架构的改进足以使这样的窗口变得可用。其他人则表达了对 Qwen4-27B 的期待, 希望是一次实质性升级。

  • 几位评论者关注长上下文的实际可靠性: 虽然 Qwen/QFN 风格的 262k 上下文很有用, 但一位用户表示, 由于怀疑超过 100k–150k token 后会出现性能退化, 他们仍将运行长度限制在 160k 左右, 除非有强有力的准确性基准测试证明并非如此。他们认为 Pi-vcc 使压缩的成本足够低, 因此在没有验证的情况下, 推到 1M 上下文可能不值得冒险。

  • 有人关注 Qwen4 架构能否让 1M 上下文在本地实际可用; 一位评论者指出 QFN 在 262k 下已经很好, 但他们已被 "1M 惯坏了", 并认为架构已改进到足以让容纳这样的上下文变得可行。

  • 一处对 qwen4-omni-120b-think 的 PR 引用被解读为可能即将推出的 Flash 风格模型, 同时还有人对 Qwen4 27B 的发布抱有期待, 认为这可能是一次重大升级。

• 阿里巴巴预览四款 Qwen4 模型：Max、Flash、Plus 与 27B (Activity: 833): 据报道，阿里巴巴预览了四款即将推出的 Qwen4 变体——Max、Flash、Plus 以及一款 27B 模型——但所链接的 Reddit 帖子（reddit.com/comments/1ximetv）因 403 Forbidden 封锁无法访问，因此无法核实任何官方规格、基准测试、上下文长度、MoE/稠密架构细节或发布/API 可用性信息。技术讨论主要围绕预期的可部署性：评论者推测 Max/Plus 可能仅提供 API，Flash 可能需要非常高内存的本地系统，而 27B 是唯一可能具有广泛相关性的本地模型——不过在 Q4 量化下，它对某些 32GB 内存的配置来说仍然太大。 评论者对“显 memory 贫乏”用户的可及性表示悲观，并质疑 MoE 是否正被降级优先，他们引用 Qwen 3.6 A3B 这类更小的 MoE 模型，认为其在 Mac 级硬件上更为实用。

  • 本地可部署性预计将集中在 Qwen4 27B 上，评论者推测 Max 和 Plus 可能仅提供 API，而 Flash 可能需要高内存系统，大约 128GB+ 才能实用。一位用户指出，一款 27B 模型在 Q4 量化下对于 32GB RAM 的 Mac 配置来说仍然略大，并将其与 Qwen 3.6 A3B 这类可良好本地运行的更小 MoE 模型进行对比。

  • 还有人担心许可证一致性是否与以往 Qwen 发布一致：评论者希望新模型能保留如“3.8 27B”那样宽松的 MIT/Apache 风格条款。相比之下，Qwen 3.8 Flash Next 被描述为拥有一个模糊的许可证，据称它“没有说明用户拥有代码和数据输出”，这给部署和商业使用带来了不确定性。

2. Mistral Large 4 开放权重发布

• Mistral Large 4（Le Chonk）现已开放权重 (Activity: 1556)： Mistral AI 发布了 Mistral Large 4 “Le Chonk”的开放权重，这是一款 1T 参数的原生多模态模型，在欧洲基础设施上从零训练，现已在 Hugging Face 上提供，详情见 发布博文。Mistral 声称通过额外的强化学习（RL）相较预览版取得重大提升，在 FrontierCode 2.0 和 Terminal-Bench 4.0 上取得开放权重编程模型的领先结果，提供三种推理模式以权衡成本/性能，在智能体编程中具有出色的 token 效率，并拥有防御性网络安全指标，包括在 Artificial Analysis Cyber Index 上的 51% 以及对恶意网络提示 96.6% 的拒绝率。 评论者欢迎一位强大的非中国开放权重竞争者，并将此次发布视为 Mistral 可能“重回状态”的信号，同时指出这些基准和安全方面的声明规模可观，应当经过独立验证。

  • 评论者强调，Mistral Large 4 / “Le Chonk” 已作为开放权重的 1T 参数模型在 Hugging Face 上提供，其中 A52B 为激活参数：mistralai/Mistral-Large-4-1T-A52B。此次发布被认为在技术上意义重大，因为目前几乎没有非中国的/西方的前沿规模模型可用，评论者将其与 Muse Open（约 800B）和 Nemotron 3 Ultra（约 550B）进行了比较。

  • 一种技术上的批评认为，由于 Mistral 据报道算力规模有限，该模型可能严重训练不足：大约 ~4K GPUs，估计比 Meta 等实验室少 5–10x。一位评论者认为，尽管如此，该模型仍可能通过下游微调变得强得多，并以 Mistral Medium 3.5 为例，指出该模型在微调后有显著提升。

  • 这次发布被描述为对已经受限于 Mistral 生态系统的组织——例如政府或工业用户——比对爱好者/本地用户更有价值。一些评论者表示，他们更希望 Mistral 回归 3B–30B 量级的更小开源模型，并提到 Magistral Small 2507 / Rebased Vision 是此前一次切实有用的发布。

• mistralai/Mistral-Large-4-1T-A52B · Hugging Face（活跃度：456）：Mistral Large 4 “Le Chonk” 是新发布的开放权重原生多模态 MoE 模型，总参数约 1T / 激活参数约 52B，拥有 128 个路由专家 + 1 个共享专家，每个 token 激活 4 个路由专家，上下文长度为 1M，支持 Pixtral 风格的可变分辨率视觉输入、可配置的推理力度、函数调用、严格 JSON schema 支持，并覆盖 160+ 种语言；检查点/量化版本可通过 ggml-org GGUF、ggml-org NVFP4 GGUF 和 Unsloth GGUF 获取。Mistral 表示，该模型是在 3,800 块 NVIDIA Grace Blackwell GPU 上从零训练的，面向推理、编程、智能体工作流、视觉/grounding、网络安全、金融和法律领域；该模型也以 mistral-large-4 的形式提供服务，采用 Mistral 修改版的 MIT 风格 Ecosystem Open-Weight License 许可证，模型即服务（Model-as-a-Service）业务需要单独的许可。本地/运行时支持已经落地：llama.cpp PR #31376 已合并，外部发布说明提及 vLLM/SGLang/Transformers 支持，以及面向 Blackwell 的 NVFP4 和 DSpark 投机解码。 评论者对实际本地推理持怀疑态度，其中一位认为相比 DS4.1，它“对本地 AI 不具竞争力”——他们认为 DS4.1 更小、更快、更聪明——但仍将此次发布视为 Mistral 达到了同一大致级别。另一位评论者强调了 Unsloth UD 量化的可用性，表明尽管模型体积庞大，用户仍对压缩的本地服务变体有直接兴趣。

  • 一位评论者认为，与 DS4.1 相比，Mistral-Large-4-1T-A52B 对本地推理并不吸引人，声称 DS4.1 更小、更快、而且“更聪明”，同时仍将 Mistral 归入大致相当的档次。关键的技术顾虑在于可部署性：一个 1T 参数的 MoE 式发布版本，激活参数仅 A52B，如果竞争模型能以更小体积实现更好的吞吐/质量权衡，那么在本地部署它可能难以证明其合理性。

  • 一个帖子通过附带的基准测试/截图链接（图片）引用了 Unsloth UD 量化，表明用户已经在寻找量化变体以使该模型更实用。讨论暗示，量化支持将是评估该模型能否在托管/API 环境之外运行的关键。

  • 另一个与技术相关的疑点是：为什么 Mistral 的模型通常保持开放且审查较少，却又总是“榜上无名”。这条评论把问题归结为缺少训练/评估方面的“秘方”，可能指的是与领先开源模型相比，在后训练、RLHF/RLAIF、合成数据质量、基准优化或推理性能方面的差距。

3. 本地智能体与模型内部计算

• 有人直接在 Qwen 的模型权重里构建了一个 32 位 RISC-V CPU，让它可以在内部执行指令！（活跃度：1226）：一个名为 Qwenputer 的项目宣称将 32-bit RISC-V 虚拟 CPU 嵌入到 Qwen3.5-4B 模型的权重/层中，相关产物发布在 Hugging Face 上，还有一篇 详细介绍和一个 在线演示。从技术上讲，评论者指出这实际上是“原生工具执行”：当 Qwen 输出 <tool_call>，例如 calc、put、get 或 list 时，新增的“计算层”会在前向传播过程中拦截请求，在虚拟 RISC-V 处理器上执行代码，并逐 token 输出 <tool_response>，详见相关 文件系统模型说明。 热门评论者对这是否比普通工具调用有实质性改进持怀疑态度，认为这是一个巧妙但很可能低效的新奇玩法；讨论中提出的主要可行好处是更强的沙箱隔离，因为执行发生在受限的虚拟环境内。另一位评论者则更青睐相反的思路：在电路中直接实现具有类 Qwen 权重的硬件，不过目前的项目被认为成本过高，难以大规模使用。

  • 一位评论者调查了其实现方式，发现它实际上是原生工具执行，而非任意涌现出的计算：Qwen 输出诸如 calc、put、get 或 list 的 <tool_call>，自定义的“计算机层”在前向传播过程中将其拦截，在虚拟 32 位 RISC-V 处理器上执行代码，然后逐个 token 地写回一个 <tool_response>。他们引用了 Hugging Face 上 Qwen3.5-4B-Qwenputer-Filesystem 的模型卡，将其描述为工具调用的一种低效但有趣的变体。

  • 主要的技术质疑在于，这种做法可能并不会优于常规的外部工具调用，因为模型似乎仍然是通过结构化的工具调用 token 来发起执行的。有人提出的一个可能优势是沙箱隔离/安全性：在嵌入模型流水线的受限虚拟 RISC-V 环境中执行代码，与不受限制的外部工具相比，或许能减少攻击面，尽管计算开销可能很高。

• 一个 4B 模型徒手为我制作了下界合金锭。我只是在聊天框里输入了一句话。（活跃度：544）：该帖子展示了 Mica v0.5 4B，一个本地决策模型（GitHub，Hugging Face），它控制一个 Minecraft 机器人，将请求 “get me at least 3 porkchops and also make me a netherite ingot” 解析为多个结构化目标，然后将导航/采矿/合成委托给机器人工具。关键实现是一条链式多项选择分解流水线：物品数量检测、类别/子类别选择、从游戏数据中精确选择物品、接收者/数量推断，以及由配方规划器逐步选择动作，UI 中会显示每个选项的概率。作者强调这并非端到端的视觉游戏玩法或原始输入控制；模型提供高层判断，而脚本化的/Mineflayer 类系统提供具身执行，他们声称本地 Mica 在重复判断方面比 Jev、Clef 和 Ms Decision 等仅依赖 API 的决策模型快约 60x。 一位评论者认为，这一成果被 Mineflayer/寻路等 Minecraft 包装器削弱了，因为这些包装器消除了大量底层控制问题；他们将其与 Dreamer 4（arXiv）等采用类人控制的方法对比，认为后者更令人印象深刻。其他热门评论大多是搞笑请求，例如让它玩 GTNH 并合成一个星门。

  • 一个技术上的争议点在于，Mineflayer 式包装器为 LLM 提供了高层 Minecraft 操作能力，如脚本化寻路和任务执行，因此该模型并未解决与真人玩家相同的控制问题。一位评论者将其与 Dreamer 4（arXiv:2509.24527）对比，称后者更令人印象深刻，因为它通过类人控制进行操作，而不是依赖 Minecraft 自动化 API。

  • 几位评论者关注模型控制框架：Minecraft 动作如何暴露给模型、接口是否与特定 LLM 绑定，以及能否换成“任意模型”。核心技术问题是：该系统是基于聊天/工具调用的通用智能体循环，还是与 Mineflayer/寻路原语深度集成的特定模型方案。

  • 评论者对一个 4B 模型能产生连贯规划行为所暗示的能力跃升很感兴趣，其中一位将其与早年对 GPT-3.5 的预期相比——当时模型大得多，却在逻辑密集型任务上仍然薄弱。其中的隐含技术观点是：小型开源模型如今在与结构化动作 API 配合时，已经可以用于具身/工具使用循环。

• 我自制了一个电子宠物形态的自托管 AI 助手（活跃度：379）：楼主制作了一个自托管的 AI 助手，通过一个类似电子宠物/钥匙扣的小型硬件终端提供服务，它连接到手机应用，再由手机应用将对话隧道传回运行在 RTX Pro GPU 上的家用服务器。据描述，后端是一个完整的智能体框架，拥有自己的虚拟机、通信渠道、持久化存储、身份系统，主模型为 DeepSeek v4，响应 reportedly 在 ~500 ms内开始流式输出；诸如天气卡片之类的 UI 元素是动态生成/渲染的，而非预先设定。楼主表示较难的实现和 UI/动画工作使用了 Opus，并分享了一张 设备照片；由于 403 Forbidden，Reddit 视频本身无法访问。 评论者主要对复现和硬件细节感兴趣：一人立即订购了类似设备，打算将其作为本地 AI 系统 MINERVA 的终端，另一人则询问该硬件是现成品还是定制产品。楼主强调该设备比视频中看起来小得多，只有钥匙扣大小，比手机应用更方便。

  • 一位评论者描述自己立即购买了该设备，并计划将其与自己的本地自托管 AI 系统 MINERVA 集成，作为物理终端。技术上的关注点在于把这个电子宠物风格的设备用作现有本地 AI 技术栈的轻量级前端/客户端，而不是在设备上直接运行模型。

  • 该硬件被澄清为一个外观像现成品的小型设备，作者分享了一张图片：https://preview.redd.it/mg58hcr8jhyh1.jpeg?width=2845&format=pjpg&auto=webp&s=ef12119896e11150cdf5c9d03af1d47ad5fb4224。关键细节是其形态：小到可以挂在钥匙扣上，定位为比手机应用更方便的专用交互界面。

  • 一条技术讨论推测，这一概念的未来版本可以使用小型专用芯片在设备上原生运行 AI 技术栈，其延迟有望优于如今的自托管/客户端-服务器架构。这反映了随着本地模型推理硬件的改进，嵌入式/随身 AI 智能体的更广泛发展方向。