今日看点：月之暗面开源Kimi K3模型，OpenAI紧急重置全员额度，英伟达发布多款物理AI产品，企业AI代理部署存监管盲区，DeepSeek筹备科创板上市。行业格局加速重构，AI生态迈向新阶段。

AI 智讯台 · 2026-07-17 日报

🔥 AI 资讯

• 月之暗面推出开源模型Kimi K3 — 月之暗面发布全球首个开源3万亿级别模型Kimi K3，参数2.8万亿，支持长上下文。（ReadHub 科技日报）
• 企业AI代理评估存“现实对齐”缺口，过半仍无人监督部署 — 调查发现半数企业AI代理通过内部评估却在客户面前失败，仅5%信任自动化评估。（VentureBeat AI）
• OpenAI 一夜重置全员额度，800万开发者集体续命 — OpenAI为800万活跃用户重置使用额度，并继续取消5小时限制，鼓励探索GPT-5.6 Sol。（雷峰网）
• 英伟达发布多款物理AI产品，两款机器人模组明年上市 — 英伟达发布Jetson T2000/T3000模组、Cosmos 3 Edge模型及Metropolis新工具。（ReadHub 科技日报）
• DeepSeek筹备科创板上市，年经常性收入4-5亿美元 — DeepSeek计划以740亿美元估值融资74亿美元，筹备科创板上市，年收入达4-5亿美元。（ReadHub 科技日报）
• 英伟达投资企业Fireworks估值达1750亿美元 — Fireworks年化营收破10亿美元，为去年同期5倍，客户结构多元化。（ReadHub 科技日报）
• Schema Harness 在 Arc-AGI-3 公开测试中准确率近99% — Schema Harness 在 Arc-AGI-3 基准测试中取得约99%准确率，表现突出。（Hacker News）
• 银河通用新框架仅需人类视频即可部署机器人 — 银河通用推出全球首个仅需人类视频即可部署机器人的新框架，支持边干边学。（量子位）
• 工业母机进入计算化时刻：中国移动投资友机技术，押注工业AI下一代基础设施 — 中国移动投资友机技术，推动工业母机计算化，布局工业AI基础设施。（量子位）
• 黄仁勋否认延期 Vera Rubin按计划交付 — 英伟达CEO否认Vera Rubin延期传闻，称已进入生产阶段，将按计划交付客户。（ReadHub 科技日报）

🧪 技术博客 / 论文

• NVIDIA Nemotron 3 Embed 登顶RTEB榜首，推进智能体检索 — NVIDIA的Nemotron 3 Embed模型在RTEB基准测试中总体排名第一，推动智能体检索技术发展。（Hugging Face Blog）
• 统一具身寻找与跟随基准UESF-Bench发布 — 新基准要求智能体先寻找语言描述目标再持续跟随，SeekFollow-VLA框架实现统一。（arXiv cs.AI）
• LLM智能体前瞻记忆评估新基准PM-Bench发布 — PM-Bench评测显示最佳GPT-5.4智能体仅达65.1%F1，前瞻记忆对AI仍是难题。（arXiv cs.AI）
• 多租户RAG成本归因新架构：统一检索与生成 — 提出Cost-Governed RAG架构，实现多租户LLM系统中检索与生成成本的统一归因。（arXiv cs.AI）
• AI代理友好网站框架：电商可读性提升，成功率翻倍 — 新框架让AI代理在电商网站成功率从49%升至89%，步骤减少31%。（arXiv cs.AI）
• GRID语法约束解码引擎为企业SQL生成提供可证明保证 — GRID语法约束解码引擎保证SQL语法有效、角色权限和恒定成本，在Spider上提升执行准确率。（arXiv cs.AI）
• 临床AI系统OrthoPilot在肌肉骨骼护理中超越资深医生 — AI系统OrthoPilot整合医院数据，在肌肉骨骼全程管理中超越拥有25年经验的专家。（arXiv cs.AI）
• TRACE提出可审计代理承诺的操作推理模式 — TRACE提出一种结构化推理记录模式，要求智能体必须记录推理痕迹才能执行状态变更。（arXiv cs.AI）

🧩 Agent Skill

• 阿里拿下中国AI编程近半市场，超第二至五名总和 — IDC报告显示，阿里Qoder占中国AI编程市场47.6%份额，远超其他厂商总和。（LINUX DO · AI）
• Kimi 官宣 K3 正式发布 — Kimi 发布 K3 模型，已上线 Kimi Code CLI，支持1M上下文，建议切换时开启新会话。（LINUX DO · AI）
• 企业AI架构与Claude Code对比分析 — 对比企业级AI中台与Claude Code在编程模型、扩展点上的核心差异（LINUX DO · AI）
• 物理博士分享：用Notemd将论文深度融入知识库 — 开源Obsidian插件Notemd，帮助将AI辅助论文阅读结果结构化沉淀到个人知识库。（LINUX DO · AI）
• 马斯克旗下SpaceXAI开源Grok Build编程AI智能体 — 马斯克旗下SpaceXAI开源AI编程智能体Grok Build，代码已发布至GitHub，并承诺保护用户隐私。（LINUX DO · AI）
• AI时代爬虫开发新玩法：基于Har文件让AI分析HTTP请求 — 介绍利用浏览器导出的Har文件交给AI分析HTTP请求，替代AI直接操作浏览器的高效工作流。（LINUX DO · AI）

🎁 白嫖token

• 限时福利：100美元额度×20份，可用Opus 4.8和GPT 5.5高纯模型 — 某论坛发放大模型免费额度福利，20份100美元额度，支持Opus 4.8和GPT 5.5模型。（LINUX DO · 福利羊毛）
• 【YSX666 CDK3】 200次调用 可用fable5（刚整好的）！可能存在一定小BUG，需要3位来使用反馈！ — （LINUX DO · 福利羊毛）
• 【ZMoon公益站】恢复正常 — （LINUX DO · 福利羊毛）
• chat gpt自动订阅？？？？ — （LINUX DO · 福利羊毛）
• 【LightBridge公益】额度狂欢！一个小时内不限额度！到期为止！ — （LINUX DO · 福利羊毛）
• ZMoon公益站推出10000美元AI模型免费额度 — 提供100个$100额度，总计$10000，可免费使用GPT和Grok等AI模型，先到先得。（LINUX DO · 福利羊毛）

⭐ GitHub 热榜

• Build Your Own X —— 从零构建你最爱的技术来精通编程 — 提供一系列手把手教程，教你从零开始重新实现流行的系统组件、编程语言和工具，从而深入理解底层原理。（GitHub Trending · 日）
• LobeHub —— 你的首席代理操作员，让整个AI团队7×24小时自动化运营 — 解决管理、调度和协调多个AI代理以实现不间断自动化协作的问题（GitHub Trending · 日）
• ossu/computer-science：自学计算机科学的免费完整路线图 — 为自学者提供一套与大学本科课程相当的免费计算机科学课程清单，帮助零基础用户系统掌握核心知识。（GitHub Trending · 日）
• PostHog：全栈开发者平台，助力产品成功 — 为开发者提供一体化平台，整合产品分析、会话重放、错误跟踪、特性标志等功能，帮助快速构建和优化产品。（GitHub Trending · 日）
• GitHub Copilot SDK —— 多平台集成GitHub Copilot Agent的SDK — 帮助开发者在自己的应用和服务中快速集成GitHub Copilot Agent的AI代码补全与对话能力。（GitHub Trending · 日）
• JoltPhysics —— 多核友好的刚体物理与碰撞检测库 — 为游戏和VR应用提供高效、多核友好的刚体物理与碰撞检测。（GitHub Trending · 周）
• UI Skills —— 面向设计工程师的技能工具库 — 为设计工程师提供可复用的 UI 组件与设计模式，加速前端原型构建。（GitHub Trending · 日）
• PrismML-Eng/Bonsai-demo —— Bonsai 演示项目，一个机器学习工具的快速启动与交互演示 — Bonsai-demo 通过 Shell 脚本提供一键式演示，帮助用户快速体验和验证 Bonsai 模型或工具的核心功能。（GitHub Trending · 日）