# AI 行业日报：2026-07-17 ### 今日概览 今日 AI 领域迎来爆发式进展，大模型竞争进入“万亿参数”与“垂直突破”并行的阶段。月之暗面（Moonshot AI）正式发布 2.8 万亿参数模型 Kimi K3，向全球顶级模型发起挑战；与此同时，由 Mira Murati 领导的 Thinking Machines Lab 推出首个开源万亿级 MoE 模型 Inkling。OpenAI 的 GPT-5.6 Sol Pro 在数学领域取得重大进展，解决了困扰学术界 30 年的凸优化难题。在行业监管方面，欧盟正式裁定 Google 必须开放 Android 系统的 AI 接口并共享搜索数据，标志着移动端 AI 生态将迎来巨变。此外，AI Agent 的实用化进程加速，1Password 与 Anthropic 深度集成，DoorDash 甚至推出了面向开发者和 Agent 的命令行订餐工具。 --- ### 公司与产品动态 **1. 月之暗面发布 Kimi K3：2.8 万亿参数，刷新国产模型上限** 月之暗面（Moonshot AI）今日宣布推出其迄今为止最强大的模型 Kimi K3。该模型参数量高达 2.8 万亿，采用 MoE 架构。在内部测试中，K3 的性能已超越 Claude Opus 4.8 和 GPT-5.5，仅次于 GPT-5.6 Sol。公司承诺将于 2026 年 7 月 27 日开源其权重，这可能使其成为全球最大的开源模型。 [详情链接](https://simonwillison.net/2026/Jul/16/kimi-k3/#atom-everything) | [相关报道](https://techcrunch.com/2026/07/16/moonshots-upcoming-kimi-3-is-expected-to-close-the-gap-with-anthropics-opus-4-8/) **2. OpenAI GPT-5.6 Sol Pro 攻克 30 年数学难题** OpenAI 披露其最新增强版模型 GPT-5.6 Sol Pro 在凸优化（Convex Optimization）领域取得突破，成功解决了一个悬而未决 30 年的公开问题。这标志着大语言模型在辅助高阶科学研究和数学证明方面进入了实用阶段。 [详情链接](https://medium.com/@kerger.p/an-ai-assisted-breakthrough-in-convex-optimization-an-optimization-problem-dating-back-30-years-a-db5c631119de) **3. Thinking Machines Lab 开源 975B 参数模型 Inkling** 由前 OpenAI CTO Mira Murati 创立的 Thinking Machines Lab 发布了其首个开源权重模型 Inkling。这是一个拥有 9750 亿总参数（410 亿激活参数）的 MoE 变压器模型，基于 45 万亿 token 的多模态数据训练，采用 Apache-2.0 协议，支持文本、图像、音频和视频处理。 [详情链接](https://simonwillison.net/2026/Jul/16/inkling/#atom-everything) **4. Apple Intelligence 获准进入中国市场，携手阿里与百度** 苹果公司已获准在中国推出 Apple Intelligence 服务。据悉，苹果已与阿里巴巴（通义千问 Qwen）和百度达成深度合作，以满足当地合规性要求并提供本土化的 AI 体验。 [详情链接](https://techcrunch.com/2026/07/16/apple-intelligence-approved-for-launch-in-china-with-alibabas-qwen-ai/) **5. Google 升级 AI 服务：NotebookLM 更名并集成 Gemini 深度能力** Google 宣布将 AI 笔记应用 NotebookLM 更名为 Gemini Notebook，并将其作为独立应用保留。同时，Google Vids 增加了 AI 化身功能，允许用户创建数字分身；Google 的 AI Mode 现在支持与第三方 App 深度交互以完成具体任务。 [详情链接](https://www.theverge.com/tech/966112/google-gemini-notebook-notebooklm) | [相关报道](https://techcrunch.com/2026/07/16/google-vids-now-lets-you-star-in-your-own-ai-videos/) **6. Roblox 推出移动端 AI 创作功能：一键生成游戏** Roblox 在其移动 App 中上线了“Build”功能，用户只需输入简单的文本提示词，即可生成基础的游戏场景和逻辑，进一步降低了游戏开发的门槛。 [详情链接](https://techcrunch.com/2026/07/16/roblox-launches-an-ai-powered-game-creation-feature-in-its-mobile-app/) --- ### 开源与工具 **1. LM Studio Bionic：开源模型的 AI Agent 平台** LM Studio 发布了 Bionic，旨在为本地运行的开源模型提供 Agent 能力。它允许用户更轻松地构建能够执行复杂任务的自主代理，而无需依赖闭源 API。 [详情链接](https://lmstudio.ai/blog/introducing-lm-studio-bionic) **2. 1Password for Claude：无需暴露凭据的 Agent 授权** 1Password 推出 Claude 专属集成插件。用户现在可以授权 Claude 访问存储的凭据（如用户名、密码），从而让 AI 能够代为执行预订旅行、管理账户等跨站任务，同时保证原始凭据不被泄露给模型。 [详情链接](https://1password.com/blog/1password-for-claude) | [相关报道](https://www.theverge.com/tech/966442/1password-anthropic-claude-browser-integration) **3. Soofi S：德国财团发布的 30B 顶级开源模型** 德国 AI 联盟发布了 Soofi S，这是一个 300 亿参数的开源模型。在德语和英语的多项基准测试中，该模型的表现位居同参数级别首位。 [详情链接](https://the-decoder.com/german-ai-consortium-releases-soofi-s-an-open-30b-model-that-tops-benchmarks-in-both-english-and-german/) **4. Forall：基于规格说明和形式验证的 AI 编程工具** Forall 是一个新型 AI 编程工具，它强调“规格驱动”开发，并引入了形式验证流程，旨在解决 LLM 生成代码中常见的逻辑错误和安全隐患。 [详情链接](https://github.com/astrio-labs/forall) **5. DoorDash 推出 dd-cli：为 AI Agent 打造的订餐终端** DoorDash 开启了其命令行工具 dd-cli 的限量测试。该工具允许开发者和 AI Agent 通过终端搜索商店、构建购物车并下单，标志着服务型软件开始向“Agent 优先”转型。 [详情链接](https://techcrunch.com/2026/07/16/yes-you-can-now-order-doordash-from-the-command-line/) **6. Skyportal SRE：开源 AI 运维工程师** Skyportal 推出了一款专注于基础设施管理的 AI 工程师，能够自动处理常见的 SRE 任务，如监控、排障和资源调度。 [详情链接](https://github.com/SkyportalAi/skyportalai) --- ### 论文与研究 **1. TriAttention：通过预计算未来偏移量显著压缩 KV 缓存** 研究提出了一种名为 TriAttention 的新方法，用于缩小长文本推理中的 KV 缓存。通过代数恒等式，该方法能将原本复杂的未来距离评分计算简化为单一项，在不损失性能的前提下大幅降低显存占用。 [详情链接](https://arxiv.org/abs/2607.13051) **2. Inverse-LLaVA：重新思考多模态对齐的映射方向** 论文提出了 Inverse-LLaVA 架构，反转了传统的“视觉映射到文本”方向，改为将文本嵌入投影到连续的视觉表示空间。这种设计在中间变压器层进行融合，被证明能更有效地实现多模态对齐。 [详情链接](https://arxiv.org/abs/2508.12466) **3. 针对 Android GUI Agent 的 Action Rebinding 攻击** 研究揭示了基于多模态大模型的 GUI Agent 存在严重安全漏洞。攻击者可以利用“动作重新绑定”攻击，在无需任何危险权限的情况下劫持 Agent 的执行流，跨应用执行越权操作。 [详情链接](https://arxiv.org/abs/2601.12349) **4. DarwinLM：大语言模型的进化结构剪枝** 研究引入了 DarwinLM，利用进化算法对 LLM 进行非均匀压缩。该方法能识别模型中不同组件对剪枝的敏感度，从而在保持性能的同时实现更高效的端到端加速。 [详情链接](https://arxiv.org/abs/2502.07780) **5. ELF：无需编码器的 ECG 语言模型家族** 研究人员开发了 ELF 系列模型，证明了无需预训练的心电图（ECG）编码器，仅通过简单的架构也能在自动化心电图判读任务中达到甚至超越 SOTA 水平。 [详情链接](https://arxiv.org/abs/2601.18798) --- ### 行业资讯 **1. 欧盟裁定 Google 必须开放 Android AI 与搜索数据** 欧盟监管机构正式下达指令，要求 Google 必须允许竞争对手的 AI 助手和搜索引擎更深入地访问 Android 系统底层。此外，Google 还被要求共享其搜索数据，以符合《数字市场法案》（DMA）的公平竞争要求。 [详情链接](https://arstechnica.com/gadgets/2026/07/its-official-eu-will-force-google-to-share-search-data-and-open-up-ai-on-android/) | [相关报道](https://www.theverge.com/policy/966438/eu-google-android-ai-interoperability-search-data-dma) **2. Linus Torvalds 表态：Linux 绝非“反 AI”项目** Linux 创始人 Linus Torvalds 在最近的发言中明确表示，AI 是一种极其有用的工具，其价值已毋庸置疑。他强调 Linux 社区将积极拥抱 AI 工具，并建议对此持有异议的人可以自行分叉代码或离开。 [详情链接](https://simonwillison.net/2026/Jul/16/linus-torvalds/#atom-everything) **3. Yann LeCun 的 AMI Labs：致力于构建“世界模型”而非 AGI** AMI Labs 首席执行官 Alexandre LeBrun 在采访中表示，公司拒绝使用“AGI”或“超人工智能”等词汇。他们更关注基于 JEPA 架构的世界模型，旨在让 AI 像人类一样理解物理世界的运作逻辑。 [详情链接](https://techcrunch.com/2026/07/16/why-ami-labs-alexandre-lebrun-wont-call-his-ai-agi-or-superintelligence/) | [相关报道](https://nebius.science/stories/meet-yann-lecuns-lab-and-the-ai-world-of-2030?shem=rimspwouohc,) **4. 纽约州州长利用 AI 审查全州法规** 纽约州州长 Kathy Hochul 透露，她的团队正在使用 AI 分析该州的每一条规则、法规和政策，以识别过时的条款并优化行政效率。 [详情链接](https://www.theverge.com/ai-artificial-intelligence/966647/new-york-governor-kathy-hochul-ai-policies) **5. AI 数据中心引发财富集中担忧** 著名安全专家 Bruce Schneier 发文探讨了 AI 数据中心建设热潮背后的经济影响，指出这种重资产模式可能进一步导致社会财富向少数科技巨头集中。 [详情链接](https://www.schneier.com/blog/archives/2026/07/ai-data-centers-and-the-concentration-of-wealth.html) --- ### 福利与羊毛 **1. Moonshot Kimi K3 权重开源预告** 月之暗面宣布将于 2026 年 7 月 27 日正式公开发布 Kimi K3 的模型权重，届时开发者可免费下载并本地部署这一 2.8T 参数的顶级模型。 [详情链接](https://simonwillison.net/2026/Jul/16/kimi-k3/#atom-everything) **2. Inkling 975B 模型权重现已开放下载** Thinking Machines Lab 的 Inkling 模型（Apache-2.0 协议）已在 Hugging Face 等平台上线，提供 975B（41B 激活）版本，开发者可立即开始集成。 [详情链接](https://simonwillison.net/2026/Jul/16/inkling/#atom-everything) **3. NVIDIA GeForce NOW 印度站正式上线** NVIDIA 宣布 GeForce NOW 云游戏服务在印度结束测试，进入正式公开可用阶段。当地玩家现在可以免排队注册并使用该服务。 [详情链接](https://blogs.nvidia.com/blog/geforce-now-thursday-onimusha-coming/) **4. OpenAI 推出 ChatGPT 品牌周边** OpenAI 官方商城上线了首款硬件周边——ChatGPT 品牌篮球，这被视为公司品牌多元化尝试的一部分。 [详情链接](https://techcrunch.com/2026/07/16/why-is-openai-selling-a-chatgpt-basketball/)