AI日报 – 2026-07-17

关键词:AI大模型, 开源AI, AI研究突破, Inkling 混合专家模型, GPT-5.6 Sol 统计学, Kimi K3 端侧推理

🔥 聚焦

Thinking Machines发布首款开源大模型Inkling : 前OpenAI CTO 创立的 Thinking Machines 发布了首款自研 AI 模型 Inkling。该模型采用混合专家 MoE 架构,总参数量达 9750 亿,单次推理激活 410 亿参数,支持 100 万 token 上下文。Inkling 采用 Apache 2.0 协议完整开源,支持文本、图像和音频的原生多模态输入,并支持通过 Tinker 平台进行微调,主打高性价比与可控的推理强度(来源:Thinking Machines, HuggingFace Blog, THE DECODER, 机器之心)

Thinking Machines发布首款开源大模型Inkling

GPT-5.6 Sol 解决统计学30年悬案 : 宾夕法尼亚大学沃顿商学院统计学教授 Edgar Dobriban 使用 OpenAI 的 GPT-5.6 Sol Pro,在 90 分钟内成功 disproved 了 Benjamini-Hochberg (BH) 过程在相关双侧高斯检验下控制 FDR 的假设。这一困扰统计学界整整 20 年的难题此前连 GPT-5.5 运行 20 小时也未能解决。AI 成功从零构造出反例,展现出其在科学探索中的“创造性洞见”能力(来源:akbirkhan, THE DECODER, 机器之心)

GPT-5.6 Sol 解决统计学30年悬案

Kimi K3(Kivine)在LMArena曝光并正式发布 : 月之暗面正式发布 Kimi K3,其测试版此前以匿名模型“Kivine”在 LMArena 竞技场刷屏。K3 总参数量达 2.8T,支持 100 万 token 上下文,主打代码、长程推理和视觉理解。技术上采用 Kimi Delta Attention(KDA)和 Attention Residuals 架构,其在 3D 前端代码生成和多智能体集群(Agent Swarm)任务上表现出媲美甚至超越 Claude Fable 5 的实力(来源:scaling01, THE DECODER, 36氪)

Kimi K3在LMArena曝光并正式发布

PrismML发布Bonsai 27B端侧推理模型 : 由 Caltech 研究团队创立的 PrismML 发布了 Bonsai 27B,基于 Qwen3.6-27B,采用 1-bit 和 Ternary 量化技术将模型分别压缩至 3.9GB 和 5.9GB。该模型可直接在 iPhone 上流畅运行,保留了 90%-95% 的原始性能,单次推理仅需 1.8G-5.2G 显存。目前 Apple 正在测试此压缩技术,以期 closing 其在本地 AI 领域的短板(来源:THE DECODER, PrismML-Eng/Bonsai-demo)

PrismML发布Bonsai 27B端侧推理模型

银河通用发布首个测试时后训练框架 WAM-TTT : 银河通用发布了全球首个面向具身大模型的测试时后训练(TTT)框架 WAM-TTT。该框架冻结基础模型权重,仅通过轻量化的快速权重记忆模块(fast-weight memory),让机器人在部署阶段通过观看未标注的人类视频快速适应新场景。这大幅降低了对真机遥操数据的依赖,避免了灾难性遗忘,打通了具身智能从预训练到部署后持续学习的闭环(来源:量子位)

银河通用发布首个测试时后训练框架 WAM-TTT

🎯 动向

OpenAI 推出 GPT-Red 自动红队系统 : OpenAI 训练了名为 GPT-Red 的内部自动红队模型,通过 self-play 强化学习机制,专门攻击并寻找其他模型的提示词注入等漏洞。在 GPT-Red 的“锤炼”下,最新发布的 GPT-5.6 Sol 对 prompt 注入攻击的防御力提升了 6 倍,故障率大幅降至 23% 以下(来源:THE DECODER, OpenAI News)

哈工大立知团队开源全双工语音大模型 Lychee-FD : 哈工大深圳立知大模型团队开源了原生端到端全双工语音大模型 Lychee-FD,并斩获 ACL 2026 杰出论文奖。该研究首次揭示了语音与语义在深层网络中的梯度冲突,通过层次化语义-声学建模与并行多流推理框架,实现了高智能、低延迟的自然人机实时语音交互(来源:机器之心)

Google Gemma 4 迎来静默升级 : Google 对开源模型 Gemma 4 进行了无版本号升级。新版本支持 Flash Attention 4,使 Hopper GPU 上的首字延迟和推理速度提升了 25%-70%;同时修复了工具调用(tool calling)的 bug,并大幅减少了生成截断问题。此外,用户可通过调整参数支持最高 2.51MP 图像的视觉 OCR(来源:THE DECODER, osanseviero)

无问芯穹与清华大学联合发布 RLinf v0.3 : 全球首个面向具身智能持续进化的大规模强化学习基础设施项目 RLinf 升级为 v0.3 版本。新版本打通了数据采集、SFT、RL、评测和真机部署全链路,新增支持 Dexbotic DM0、DreamZero、GR00T 等 6 款主流具身模型,并支持 Genesis 等 5 种仿真环境,实现跨机器人、跨硬件的统一训练(来源:量子位)

LightSpec 开源首个通用动态 MTP 推理系统 : 上海交大、北航与 LightLLM 团队联合开源了 LightSpec 动态多 Token 预测推理系统。该系统采用两阶段免训练(Training-free)动态调度设计,自动决策验证与草稿预算,彻底消除了规划器与 GPU 执行间的数据依赖,完美支持 DSpark、Eagle3 等多种草稿模型(来源:机器之心)

Perplexity 开源 SPACE 智能体安全沙箱平台 : Perplexity 开源了其内部用于 Computer 智能体的 Space 沙箱平台。该平台自 6 月起承接 100% 生产流量,通过 Btrfs 快速写时复制(COW)和双重快照技术,为长周期 Agent 任务提供高效隔离的运行环境,大幅降低了 VM 内存消耗和恢复延迟(来源:AravSrinivas, AI Business)

Apple Intelligence 入华将集成阿里通义千问与百度文心 : 网信办已批准 Apple 智能服务在华备案。由于 ChatGPT 等服务无法在华使用,国行版 Apple 智能将采用本土大模型合作方案:阿里通义千问将提供多模态文本与图像理解,百度则负责 Siri 语音及视觉搜索支持,这为两家大厂带来了巨大的系统级流量与验证场景(来源:TechCrunch, CNBC)

原力灵机发布具身世界模型 DW0.5 : 原力灵机发布首款具身世界模型 DW0.5,并接入 DFOL 2.0 强化学习框架。DW0.5 包含视频、动作和价值三大专家模块,将动作视为强先验,支持高保真物理仿真和失败轨迹模拟。这套 Learned Environment 闭环可让后训练中的真机数据需求骤降 60%(来源:量子位)

🧰 工具

OpenAI 联合 Work Louder 推出 Codex Micro 实体键盘 : OpenAI 推出首款客制化硬件 Codex Micro,售价 230 美元。该设备专为 Codex 智能体编程打造,配有 6 个支持 RGB 状态反馈的“Agent 键”、可触发 PR 审查等工作流的摇杆,以及用于调节模型推理强度的旋钮,旨在减少开发者在聊天窗口和代码编辑器间的频繁切换(来源:THE DECODER, op7418)

OpenAI 联合 Work Louder 推出 Codex Micro 实体键盘

xAI 开源 Grok Build 命令行编程 Agent 源码 : 在被曝出静默上传用户整个代码仓库的隐私风波后,xAI 宣布将 Grok Build 的 Rust 核心代码开源(Apache 2.0 协议)。Grok Build 支持本地运行、Git 版本管理和 ACP 协议,xAI 已在服务器端禁用数据留存功能,以此向社区提供完全透明的隐私保障(来源:THE DECODER, Hacker News)

BaoCut:基于自然语言驱动的视频粗剪 Agent Skill : 开发者 @dotey 开发了基于自然语言驱动的视频转写与粗剪工具 BaoCut。该工具可作为 Agent Skill 安装在 Claude Code 或 Codex 上,支持单条命令行完成视频/YouTube 链接的转写、语气词过滤、翻译及字幕导出,极大节省了知识博主和搬运创作者的机械剪辑时间(来源:dotey)

1Password 推出支持 AI 智能体的 Agentic Mode : 密码管理工具 1Password 推出 Agentic Mode,首发支持 Claude。该功能允许 AI 智能体在不直接接触用户明文密码和 MFA 验证码的前提下,通过 1Password 代理在浏览器中自动登录 Stripe、Audible 等授权网站,实现单次会话的安全隔离(来源:ZDNet)

Raft 1.0:面向 AI 智能体团队的协作工作空间 : 前月之暗面 Kimi CLI 开发者 RC 发布了 Raft 1.0。该工具将多智能体协作、终端会话和技能管理整合进统一的类团队即时通讯界面,支持多 Agent 以团队模式运行,避免用户在多个终端和会话间手动流转上下文(来源:_akhaliq)

LlamaParse 推出 Conversational Extract 交互式文档提取功能 : LlamaIndex 旗下 LlamaParse 推出 Conversational Extract。用户可以通过自然语言对话定义提取 Schema,上传参考文档即可由 Agent 自动生成 JSON Schema,并对百万级文档进行结构化定位、引用和置信度提取(来源:jerryjliu0)

OpenWiki 开源 Personal Brain 个人知识库构建工具 : OpenWiki 开源了 Personal Brain。该工具支持直接接入 X (Twitter) 账户,利用 AI 记忆 Agent 对用户的日常推文和书签进行结构化记忆提取与加权,帮助用户构建基于个人数字足迹的 LLM 知识库(来源:hwchase17)

📚 学习

PUMA:基于语义收敛的推理大模型早停框架 : 清华、Google Research 等团队提出 PUMA 推理早停框架。不同于仅关注答案稳定性的传统方法,PUMA 通过监测推理步骤的语义冗余来判断收敛,在 MATH、GPQA 等基准上平均减少 26.2% 的 Token 且保持高准确率,可无缝迁移至代码和多模态推理(来源:机器之心)

CLaRa:基于连续隐空间推理的 RAG 框架 : Apple 与爱丁堡大学等提出 CLaRa 框架。该方法在连续空间中进行基于嵌入的文档压缩和联合优化,通过可微 Top-k 估算器端到端训练重排器和生成器,在 16 倍文本压缩率下仍保持 SOTA 表现(来源:Apple Machine Learning Research)

One Layer Is Enough:自适应预训练视觉编码器框架 : Apple 团队提出 FAE(Feature Auto-Encoder)图像生成自适应框架。该框架仅需单个注意力层即可将 DINO、SigLIP 等高维视觉特征适配为低维生成 latent,在 ImageNet 256×256 图像生成中达到 SOTA 表现(来源:Apple Machine Learning Research)

cangjie-skill:高价值内容蒸馏为 Agent Skills 的开源工具 : 开源项目 cangjie-skill 采用 RIA-TV++ 流程,将书籍、视频转写和播客内容结构化蒸馏为可供 Claude Code 或 Cursor 直接调用的 Skills,提供多维验证和压力测试,实现知识的结构化复用(来源:GitHub Trending)

微软等提出 OAT 无监督智能体轨迹故障诊断模型 : 微软等团队提出 OAT 智能体轨迹故障诊断模型。该模型仅在成功轨迹上进行单类学习,使用神经常微分方程建模成功动力学,在推理时根据偏离度快速定位失败步骤,速度比 Prompt 管道快数千倍(来源:omarsar0, HuggingFace Daily Papers)

💼 商业

景烁科技独立运营,完成由文远知行孵化 : 由文远知行 001 号员工霍达创立的景烁科技正式独立运营。公司专注于具身智能数据基础设施建设,推出 WorldEngine 数据闭环、GENESIS-Robotics 世界模型及开箱即用的技能包 SkillForge,解决具身智能数据匮乏的痛点(来源:量子位)

Fireworks AI 宣布完成 1.5 亿美元 D 轮融资 : 开发者 API 平台 Fireworks AI 宣布完成 1.5 亿美元 D 轮融资,估值达 175 亿美元。公司 ARR 已突破 10 亿美元,每日服务超 40 万亿 Token,其中 95% 以上来自基于客户数据定制的专属模型(来源:natolambert)

中国移动战略投资工业智能企业友机技术 : 工业智能企业友机技术完成 B 轮、C 轮融资,中国移动链长基金战略入股。友机技术专注于工业母机智能化,其自研的 UJ-Ucut 优切仿真系统实现了高保真多物理场仿真及 AI 驱动的智能工艺优化(来源:量子位)

🌟 社区

Hugging Face 联合 AskAlphaxiv 发起 ICML 2026 论文复现挑战 : 针对“70% 的 AI 研究不可复现”问题,Hugging Face 联合 AskAlphaxiv 发起为期 3 周的社区挑战。参与者可利用自动研究 Agent 尝试复现 ICML 2026 接收的全部论文,贡献开源工件,优秀团队可获得 $4500 的 GPU 算力奖励(来源:ClementDelangue, _akhaliq)

大模型本地部署 GGUF 格式在社区受到热捧 : 开发者指出,在实际部署和分发中,GGUF 格式凭借免环境配置、无需 GPU 租用即可在 Mac/PC 本地运行的优势大获全胜,而 safetensors 格式则主要在模型训练和研究阶段占优(来源:_akhaliq)

AI 辅助编程导致代码库同质化和“脑力萎缩”引发担忧 : 奥特曼在斯坦福演讲中承认低估了教育变革速度,担忧过度依赖 AI 会导致人类批判性思维和编程直觉退化;社区也对 AI 自动生成的短剧、网文等内容的“千人一面”表示反感(来源:36氪, 36氪)

💡 其他

Vesuvius Challenge 设立 100 万美元新一轮大奖 : 维苏威挑战赛(Vesuvius Challenge)宣布设立 100 万美元新一轮大奖,旨在通过 AI 图像与三维算法,读取被火山灰炭化的赫库兰尼姆古卷中尚未被发现的文字,并提供每月 $20k 的进度奖金(来源:natfriedman)

Sakana AI 推出智能蜂窝模块 Smart Cellular Bricks : Sakana AI 在《自然-通讯》发表研究,利用 3D 神经细胞自动机(3D NCA)让每个相同的立方体模块仅通过与相邻模块通信,即可自发形成整体形状分类并实现受损再生(来源:机器之心)

WAICA 学术会议重构 AI 顶会评审规则 : 首届世界人工智能大会·学术(WAICA)由姚期智院士担任主席,首创“AI辅助初筛+全PC开放点评”机制,并支持在论文中嵌入音视频等多媒体的“AI原生”投稿范式(来源:量子位)

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注