Infinitum

07-17日报 | Kimi K3 2.8万亿参数开源、Nemotron 3 Embed登顶RTEB

来源：61 个引用生成：2026/07/18 06:15

内容

声明：完全使用AI生成，可能存在错误，需谨慎甄别。

摘要

2026-07-17 AI领域呈现多线并进格局，值得关注的信息：月之暗面正式发布Kimi K3 2.8万亿参数开源模型，Code Arena以1679分登顶；NVIDIA开源Nemotron 3 Embed，8B版以78.46分领跑RTEB；Google将NotebookLM更名Gemini Notebook并接入云端代码；OpenAI确认GPT-5.6 Codex误删文件并收紧高权限；1Password与Claude集成开启AI代理凭证隔离新范式。

热点事件

Kimi K3 2.8万亿参数开源模型正式发布

月之暗面于2026世界人工智能大会前夕正式发布Kimi K3开源大模型，总参数量达2.8万亿，采用MoE架构并原生支持视觉理解与100万token上下文。模型已在Kimi.com与API平台上线，API定价为输入3美元、输出15美元每百万token，与Claude Sonnet系列持平，被称国产最贵开源模型。基准测试显示，K3在Arena前端代码榜以1679分登顶，但略逊于Claude Fable 5和GPT-5.6 Sol。完整模型权重将于7月27日开放下载，被业内视为中国开源大模型从单点突破迈向群体突破的标志性事件。

重点： 全球最大规模开源大模型正式发布

来源：展开 8 条收起 8 条

NVIDIA发布Nemotron 3 Embed嵌入模型系列

NVIDIA正式发布Nemotron 3 Embed系列开源嵌入模型，包含8B-BF16旗舰版、1B-BF16高效版与针对Blackwell优化的1B-NVFP4三个检查点，基于Mistral架构双向注意力Transformer编码器，支持32k上下文与34种语言。在RTEB基准测试中，8B版本以NDCG@10均分78.46登顶总榜第一，1B-BF16得分72.38较上代提升10.4分；1B-NVFP4精度仅损0.38分，Blackwell上吞吐量翻倍。模型以OpenMDW-1.1协议开源，IBM、Palantir、ServiceNow等已启动早期评估，覆盖RAG、智能体检索、代码检索等核心场景。

重点： 8B版本以78.46分登顶RTEB榜首

来源：展开 3 条收起 3 条

Google将NotebookLM更名为Gemini Notebook并接入云端代码执行

Google宣布将旗下AI笔记工具NotebookLM正式更名为Gemini Notebook，并入统一Gemini品牌体系。该产品自2023年推出以来已积累超3000万用户和60万家企业客户。核心升级是为每个笔记本配备独立安全的云端容器，支持原生代码编写与执行，用户可直接基于自有数据完成复杂分析，无需切换工具。功能已向Google AI Ultra订阅用户及Workspace企业客户开放，未来数周将覆盖Web端Pro用户，笔记本已接入Gemini应用并支持跨应用同步，后续还将整合进Google搜索的AI模式。

重点： 3000万用户产品全面接入Gemini生态

来源：展开 6 条收起 6 条

OpenAI确认GPT-5.6 Codex可误删用户主目录并收紧高权限

OpenAI正式确认由GPT-5.6驱动的Codex代码生成系统在特定配置下可误删用户主目录文件。多名开发者在开启完全访问模式、未启用沙箱保护且关闭自动审核时遭遇严重事故，模型执行任务时尝试覆盖$HOME环境变量设置临时工作目录，操作异常导致整个主目录被删除，对macOS和Linux用户构成数据丢失风险。Codex产品负责人Tibo Sottiaux公开回应称已收到少量相关报告，团队正通过更新提示说明、加强系统防护等措施修复，并计划未来几天发布详细事故分析报告，建议用户立即关闭高权限模式。

重点： OpenAI正式承认误删并禁止GPT-5.6 Sol高权限

来源：展开 5 条收起 5 条

1Password与Claude集成 开启AI代理凭证隔离新范式

1Password正式与Anthropic旗下AI助手Claude推出浏览器集成，允许Claude在用户明确授权下调用1Password中存储的登录信息和一次性验证码完成浏览器任务自动化。核心机制在于密码明文始终不进入Claude的上下文记忆或上传至Anthropic后台，每次凭证调用前系统会向用户明示用途并需逐一批准，授权仅限当前任务、结束后立即回收。同步上线的1Password浏览器扩展新增智能代理模式，可在AI代理操控浏览器时自动锁定密码界面，率先登陆Mac平台，需同时持有Claude付费订阅及1Password账户。

重点： AI代理调用凭证的隔离保护新范式

来源：展开 2 条收起 2 条

变更与实践

Anthropic发布AI驱动大规模代码迁移六步法

Anthropic发布内部使用Claude Code完成10个大型代码包跨语言迁移的实践指南，提炼为可复用的六步流程：先建立可同时评测新旧代码的裁判，再编写规则书与依赖图并压力测试规则，随后批量翻译、编译、烟雾测试与行为对齐。标志性案例包括Bun联合创始人Jarred Sumner用Claude Code将整个Bun从Zig迁移到Rust，两周内产出约一百万行代码；Mike Krieger一个周末把Python代码库转成16.5万行TypeScript。Bun迁移后重复构建基准内存占用从6745MB降至609MB，二进制体积缩小19%。

来源：展开 2 条收起 2 条

腾讯技术工程发布团队AI Coding Harness Engineering落地规范

腾讯技术工程团队发布《驾驭AI Coding：一份面向团队的Harness Engineering落地规范》，系统阐述如何把好代码标准写进系统，让AI在约束下自主产出高质量代码。规范提出由上下文管理、工具系统、执行编排、状态与记忆、评估与观测、约束与恢复构成的6大支柱，并给出AI Coding一体化五层架构和分三阶段（基础建设、工具接入、持续优化）的落地路线图，详细说明CLI安装、MCP配置、智能体与知识管理、Plan模式规范驱动开发的具体操作步骤，配套日常开发SOP与harness-audit Skill一键审计。

来源：展开 1 条收起 1 条

阿里本地生活业务智能分析Skill完成三次架构重构

阿里技术团队分享面向本地生活业务分析的AI Skill在一个月内经历V1→V2→V3三次架构重构的演进过程。V1采用软件工程分层解耦思路因上下文爆炸和过度工程化失败；V2通过知识收拢与按需加载引入路由层；V3按变更频率将行业知识拆分为稳定层与时效层，写入与读取粒度分离。文章总结分析方法从20+压缩至9个、输出模板从20+压缩为4类框架的减法策略，最终提炼六条设计原则：收拢优于碎片化、按变更频率分层、选项少信号强、约束结构释放内容、知识保鲜靠机制、Token经济性是硬约束。

来源：展开 1 条收起 1 条

Claude Code官方定义智能体四种循环机制

Claude Code团队在官方博客正式定义循环，将其拆为四种类型：回合制循环由人逐轮控制适合零散短任务；目标循环（/goal）由评估器对照标准判定达标后再停；时间循环（/loop、/schedule）按固定间隔触发类似定时任务；主动循环由事件触发实现全无人值守。文章强调，循环的关键不在于让AI一直跑，而在于停止条件的设计，包括机器可判定的done条件、轮数与成本硬上限、无进展检测等闸门机制，编程重心正从写提示词转向设计会自动验证、知道何时停止的行为系统。

来源：展开 1 条收起 1 条

小红书联合北大上交提出HYPIC系统首token延迟降低3.25倍

小红书联合北京大学、上海交通大学提出HYPIC系统，首次为混合注意力大模型实现位置无关缓存。该系统针对线性注意力层缓存段累积转移算子实现常数时间状态组合，对全注意力层用缝合窗口修复跨段注意力，并通过实例间段并行将冷请求prefill复杂度从O(n·|C|)降至O(⌈n/m⌉·|C|+c)。在4个生产级混合注意力模型、5个工作负载上的评测显示，p50首token延迟平均降低3.25倍，同1秒SLO下可持续QPS提升1.66倍，任务质量与完全重算仅相差1.71分，系统已在SGLang上以约14k行Python与Triton代码实现。

来源：展开 1 条收起 1 条

安全与风险

Codex新版本收紧完全访问权限 GPT-5.6 Sol禁止启用

OpenAI的AI编程工具Codex发布新版本，针对近期部分用户使用GPT-5.6 Sol时遭遇模型误删文件的故障收紧授权机制。Codex技术经理蒂博解释，事故原因是模型尝试自定义并覆盖$HOME目录，成功操作后用户主目录文件可能被全部清除。Codex此前提供默认审批、替我审批、完全访问三种授权模式，新版本在用户切换至完全访问时弹出风险提醒；若使用GPT-5.6 Sol极高模式，则系统直接禁止启用完全访问，最高只能使用替我审批，该举措降低误删风险但会牺牲高危命令的可用性。

影响： 使用GPT-5.6 Sol极高模式开发者及所有开启完全访问的用户

建议： 立即升级Codex并切换至带审批模式运行高风险命令

来源：展开 2 条收起 2 条

Suno源代码遭供应链攻击泄露 涉YouTube Music等训练数据

生成式AI音乐平台Suno遭遇重大安全事件，黑客ellie.191通过供应链攻击获取员工凭证，窃取内部源代码及数据采集文件。泄露信息显示，Suno通过自动化程序大规模抓取YouTube Music超200万个视频片段、Deezer超1.2万小时歌曲、Genius超1.7万小时歌词、Pond5超6.2万小时音频用于训练AI音乐模型。黑客还获取了用户邮箱、电话及Stripe信用卡元数据，Suno将其定性为有限安全事件且未主动通知用户。泄露的抓取代码可能加剧RIAA代表环球、索尼、华纳对Suno的版权诉讼压力。

影响： Suno平台用户、音乐行业版权方及AI训练数据合规监管

建议： Suno用户立即更换密码并关注版权方动态

来源：展开 1 条收起 1 条

可口可乐旗下Fairlife乳品遭勒索软件攻击 美国生产全线暂停

可口可乐旗下乳制品子公司Fairlife遭勒索软件攻击，美国境内全部生产业务已暂停，加拿大业务未受影响。可口可乐已向美国证券交易委员会提交披露文件，称Fairlife生产系统被入侵，目前尚无法确定恢复时间。Fairlife是可口可乐重要乳品品牌，2024年销售额估计达40亿美元。此次事件再次凸显食品饮料行业面临的勒索软件威胁——此前亚利桑那饮料2019年和分销商UNFI去年也曾因类似攻击遭遇长达数周的生产中断和商超缺货。

影响： Fairlife美国市场供应链与零售终端商品供给

建议： 食品饮料行业加强生产网隔离与勒索应急响应预案

来源：展开 1 条收起 1 条

AWS账单估算系统异常 用户控制台显示高达$1.7B预估

AWS Billing Console当天出现名为Inaccurate Estimated Billing Data的全球故障，AWS Health也发布告警。多用户在控制台和邮件中看到从每月几十美元瞬间跳到数百万、数十亿甚至更高的estimated bill数值，由于这只是估算值并非实际扣款，加上用户常依赖budget alert控制支出，错误数字直接引发强烈恐慌。该事件被广泛视为暴露账单可见性与可靠性短板的严重事故，虽未造成真实扣款损失，但因AWS缺乏硬性spending limit机制，用户难以在估算失真时一键止损。

影响： 全球AWS用户与企业财务、DevOps成本管控流程

建议： 启用AWS Cost Anomaly Detection并避免依赖单一告警源

来源：展开 3 条收起 3 条

开源与工具

Liquid AI开源Antidoom训练方法 解决推理模型死亡循环

Liquid AI开源Antidoom训练方法，解决小型推理模型在贪婪采样下反复生成token直至上下文耗尽的死亡循环问题。核心方法FTPO通过重新标记触发循环的token并将概率分布转向其他选项实现。LFM2.5-2.6B死亡循环率从10.2%降至1.4%，Qwen3.5-4B从22.9%降至1%，下游评估也有提升，是消除特定失败模式而非扩大参数规模的代表方法，可直接用于Qwen3.6等开源模型的快速迭代优化。

适用场景： 推理模型本地部署与长链思维链任务稳定性优化

来源：展开 1 条收起 1 条

Anthropic开源Code with Claude工作坊教学仓库

Anthropic在GitHub开源cwc-workshops仓库，整理Code with Claude系列工作坊教学材料，采用Apache 2.0协议不再维护但仍可参考。仓库涵盖九个实战模块：rightmodel用SKILL审计评估套件筛选最佳性价比模型；agent-decomposition将单体代理拆解为技能加代码执行架构；how-we-claude-code演示AI辅助产品开发全流程；ship-your-first-managed-agent通过七个小函数构建可查询7万行日志的SRE Agent；eval-driven-agent-development用双层评分迭代PPTX生成代理等。

适用场景： 企业AI工程团队构建智能体的实战参考与教学

来源：展开 1 条收起 1 条

tirth8205/code-review-graph开源 节省AI代码审查token

code-review-graph是一款面向AI编程助手的开源代码审查工具。它通过Tree-sitter将代码库解析为AST并构建节点与边的图谱，审查时仅返回与变更相关的最小文件集合，从而降低token消耗。工具支持增量更新、爆炸半径分析、社区检测、跨仓库守护进程等能力，暴露30个MCP工具，兼容Codex、Claude Code、Cursor、Windsurf、Zed等多平台。基准评测平均F1约0.71，单文件改动时图上下文可能大于原始diff，适合大型代码库AI辅助审查。

适用场景： 大型代码库AI辅助审查与MCP协议集成

来源：展开 1 条收起 1 条

微软开源90年代经典聊天客户端Comic Chat

微软将90年代的IRC漫画聊天客户端Comic Chat正式开源并托管到GitHub，采用MIT许可证。Comic Chat最早于1995年开发，1996年随Internet Explorer 3推出，能将IRC聊天对话自动转译为漫画格形式，包含插图人物、对话气泡和表情，其设计初衷之一是向世界推广由微软字体设计师Vincent Connare于1994年创作的Comic Sans字体。该项目至今保留90年代微软发布流程的工程痕迹，被视为软件历史遗产保护的代表性开源举动。

适用场景： 软件考古、复古UI研究与开源文化IP再创作

来源：展开 2 条收起 2 条

Puter团队将Firefox编译为WebAssembly并开源

Puter团队将Firefox/Gecko浏览器引擎编译为WebAssembly版本，实现了在另一个浏览器标签页内运行完整Firefox浏览器的效果。选择Firefox是因其具备较强的单进程支持能力。整个项目借助Claude Opus和Fable等AI编程工具完成，估算消耗约2.5万美元的tokens额度。技术实现上，由于浏览器内代码无法直接建立任意网络连接，所有流量需经Puter服务器通过Wisp协议代理转发，该项目已开源，支持端到端加密，展示了AI辅助编程在大型复杂代码移植任务中的应用潜力。

适用场景： 浏览器内核研究、AI辅助大型代码移植案例

来源：展开 1 条收起 1 条

数据与洞察

智谱AI 5个月增长15倍 ARR达10亿美元

据多家独立信源透露，截至2026年7月，智谱AI年度经常性收入（ARR）已达10亿美元规模，从1亿美元增长至10亿美元仅用约5个月、增幅约15倍，速度显著快于Anthropic的15个月增长周期。智谱较早布局AI Coding方向，约每两个月推出一款Coding模型，2026年6月发布的GLM-5.2即使开源也达到或超过部分闭源模型水平。2026年第一季度GLM API价格上涨约83%，海外订阅价接近Claude Code但调用量仍增长约400%，AI Coding赛道商业价值持续验证。

数据： ARR 10亿美元、5个月15倍、API涨83%

意义： 验证AI Coding赛道商业价值，加速Coding Agent赛道白热化

来源：展开 1 条收起 1 条

DeepSeek新一轮融资后估值约3510亿元

上市公司开润股份披露的投资进展公告公开了DeepSeek新一轮融资的部分数据，按公告中的投资金额和持股比例推算，DeepSeek本轮融资完成后估值约为3510亿元（约520亿美元）。DeepSeek同步推进大规模融资与科创板上市计划，目标今年递交IPO申请、明年挂牌。其年度经常性收入达4亿至5亿美元，毛利率超50%，市销率约148倍，远超众多美国AI初创企业。今年5月该公司刚完成约74亿美元A轮融资，创始人梁文锋为最大单一出资方。

数据： 估值3510亿元、ARR 4-5亿美元、毛利率50%+

意义： 中国AI公司估值跃升至全球第一梯队，加速资本市场关注

来源：展开 2 条收起 2 条

Anthropic拟秋季IPO估值升至9650亿美元

据彭博社报道，Anthropic正筹备就潜在首次公开募股与投资者展开会议，上市时间最快可能落在今年秋季。公司已与多家投行接触，希望在OpenAI与DeepSeek之前进入公开市场。该公司受Claude系列大语言模型商业化推动收入快速增长，但面临政策不确定性。此次IPO由摩根士丹利、高盛及摩根大通担任主承销商，今年5月最新一轮融资后其估值升至9650亿美元。同时Anthropic正寻求扩充数十亿美元授信额度，为上市前的模型训练、算力采购和业务扩张准备资金。

数据： 估值9650亿美元、最快2026秋季IPO

意义： AI公司IPO浪潮兴起，OpenAI与Anthropic先后冲击公开市场

来源：展开 2 条收起 2 条

IDC：阿里Qoder以47.6%份额居中国AI Coding市场首位

IDC发布《中国AI编程市场份额，2025》报告显示，2025年中国AI编程市场规模为3.99亿元，预计2026年底增至11.73亿元。阿里Qoder以47.6%的营收份额断层领先，超过第二至第五名总和，用户规模达500万。今年5月上线的Qoder 1.0从AI IDE升级为智能体自主开发工作台，新增Quest工作视窗、统一知识引擎和四级安全防御体系，知识引擎上线后代码保留率提升11%、Token消耗降低40%。Gartner魔力象限将阿里云连续三年入选挑战者象限，是唯一入围的中国公司。

数据： 47.6%份额、500万用户、2025市场规模3.99亿元

意义： AI Coding竞争进入系统能力阶段，模型与Harness共同决定市场纵深

来源：展开 1 条收起 1 条

其他值得看

Grok推出Automations定时与触发自动化任务

来源：展开 1 条收起 1 条

DoorDash推出dd-cli支持AI代理命令行订餐

来源：展开 3 条收起 3 条

阶跃星辰展示首款智能体手机STEPX Neo

来源：展开 2 条收起 2 条

商汤提出TPW指标并发布算电协同Agent

来源：展开 1 条收起 1 条

通义Wan-Streamer v0.2端到端延迟降至0.55秒

来源：展开 1 条收起 1 条

文远知行发布物理AI大模型WITT

来源：展开 3 条收起 3 条

上海AI Lab发布397B科学智能基座Intern-S2

来源：展开 1 条收起 1 条

Soul发布SoulX多模态交互大模型

来源：展开 1 条收起 1 条

Roblox推出Build移动端AI游戏创作工具

来源：展开 1 条收起 1 条

MCP elicitation反向通道机制设计解读

来源：展开 1 条收起 1 条
← 上一篇07-16日报 | 思维机器开源Inkling、...下一篇 →07-18日报 | 腾讯具身智能发布、Datab...