Mira Murati 新公司出了开源多模态模型,近 1T 参数但只激活 41B,支持 1M 上下文,还能自己微调,值得试试。
Kimi K3携2.8万亿参数开源,Inkling等模型竞发
2026年7月17日,AI界迎来多款重磅模型与基础设施突破。Kimi K3以2.8万亿参数和百万上下文开源,Inkling(Mira Murati团队)发布975B/41B MoE开源模型;NVIDIA联合日本建设140MW国家AI工厂(13750块Vera CPU+27500块Rubin GPU),华为展出8 ExaFLOPS的Atlas 950 SuperPoD;OpenAI推出自动红队模型GPT-Red(84%胜率),GPT-5.6 Sol Pro解决统计学BH程序在相关数据下FDR控制的开问题。
模型发布/更新
5 篇OpenAI 搞了个 GPT-Red 自动红队模型,提示注入赢人类 84% 对 13%,还发现了 Fake Chain-of-Thought 攻击。
Moonshot发了2.8万亿参数Kimi K3,前端代码超越Fable 5,开放权重版月底就能用,价格虽高但看齐Claude Sonnet。
SGLang让GLM5.2在B300上单用户跑500 tok/s,交互延迟几乎不随上下文增长,对多轮Agent任务很实用。
产品发布/更新
5 篇华为 Atlas 950 SuperPoD 算力 8 ExaFLOPS,是英伟达 NVL144 的 6.7 倍,将在 WAIC 2026 展出
上海这个 AI 科研工厂太猛了,五天自己做了 135 个实验,催化剂活性直接翻 6 倍,效率比人高了几个量级。
Box Agent用Deep Agents中间件来并行生成引用和缓存提示,还能管理170k token的上下文,挺实用的,值得看看他们的实现方式。
SpaceXAI 把编码 CLI 背后的 Rust 智能体框架 Grok Build 开源了,Apache 2.0 许可,你可以直接拿去研究或改造。不过 Grok 4.5 模型本身还是闭源的。
行业动态
5 篇小米语音首席科学家拿了 ISCA Fellow,Kaldi 和 OmniVoice 都是他搞的,业内公认的语音大神。
NVIDIA帮日本建国家级AI工厂,140MW算力、Vera Rubin GPU、T级训练,开源模型全给当地开发者,这波很实在。
联通和华为在北京建了全球最大的5G-A大上行网,基站超1万个,上行平均近400Mbps,支持AI眼镜实时回传,体验很稳。
论文研究
5 篇这篇理论论文把 Dikin walk 采样的混合时间从 $d^{2.5}$ 降到了 $d^{2.25}$,离理论下界 $d^{2}$ 更近了,搞采样理论的同学可以关注。
AI帮你揭开了统计学25年的难题:GPT-5.6 Sol Pro用90分钟证明BH方法在相关数据下会失效,比人类20小时还准。
想解决Agent长程任务奖励稀疏问题?看TRACE方法,无需额外批评器,用TD变化给每步打分,Qwen3在BrowseComp-Plus上从7分直接跳到35分。
技巧与观点
5 篇AWS手把手教你把电话点餐AI跑起来,用Bedrock AgentCore和Nova 2 Sonic,还带SIP网关和会话预热,不会冷场。
Oracle 出了详细的教程,教你用 AI Agent Studio 把 Fusion 业务系统变成能思考的 AI 助手,直接上手就能用。
想看 550B 参数的 Nemotron 3 Ultra 怎么跑智能体?LangChain 出了教程,支持 MCP 和子智能体,速度 300 tok/s,值得动手试试。