Kimi K3 全权重上线。
7 月 27 日,月之暗面把 Kimi K3 的 full-weight 在 Hugging Face 公开,2.8 万亿参数、896 个专家每 token 只激活 16 个、百万 token 上下文,许可证是 Modified MIT,意味着能下载、改、自己部署。配套开源的还有 MoonEP、FlashKDA、AgentEnv 三套基建。
闭源实验室「只有我能跑前沿」的杠杆,被这一包权重松了一扣,接下来比的不是谁有模型,是你能不能自己验。
微软的安全模型 MAI-Cyber-1-Flash 在 CyberGym 拿到 95.95% 胜率,超过 Mythos 的 83.8% 和 GPT-5.5 Cyber 的 85.6%;推理成本只有对标模型的一半,已经接进 MDASH 平台,约 90% 负载自己处理、剩下 10% 交给 GPT-5.4。
红队工具开始用「模型打模型」,安全不再靠人手堆,靠另一条流水线在前面顶着。
微软 MAI-Cyber-1-Flash。
微软预告 8 月 3 日开放 Project Perception 预览,把模型安全评估拆成红、蓝、绿三队并行:一队攻、一队守、一队做独立裁决,不再靠单份报告定生死,首批开放红蓝绿三套评估队。
评估从「交报告」变成「跑对抗」,模型的上限,由它能扛住多少种打法决定。
K3 配套开源的 MoonEP、FlashKDA、AgentEnv 三套基建,让研究者第一次能把「高效注意力」这种宣称当场较真,过去这类声明常被证伪,这次所有人都能下载下来自己验。
开放权重的意义从来不只是免费;是有人能对你说的「我很高效」当场较真。
K3 基建开源与审计。
在 K3 之前,中国开放模型的价格战已经打响。DeepSeek 将 V4-Pro 的降价转为永久,把「便宜且够用」当成默认姿态;同月 GLM-5.2 也冲上多个编程榜首。
开放模型彼此较劲的下半场,比的不是谁先发,是同样的钱你能跑多大的模型。
DeepSeek 价格永久化。
「K3 上线 30 分钟就冲上趋势榜,近 3700 人在排队等下载。」
, Clem Delangue · Hugging Face CEO
「我们让模型先打满攻防,再决定哪些活交给人。」
, Hayete Gallot · 微软安全 EVP · Microsoft
越疆把协作机器人的运动控制技术迁移到人形机器人的上肢,提出「一脑多体」,一个智能体能同时管多台本体;7 月 24 日披露已在多个产业现场大规模交付,先把工厂里最重复、最伤人的那部分活接走。
国产人形机器人先接手的,是产线上最重复、最伤人的那部分活,这不是演示,是产线在跑。
人形机器人一脑多体。
把 K3 拉到本地。
有开发者当天下载 K3 权重,没看发布会,先在自己机器上跑了长上下文检索和 KDA 解码加速,把官方宣称的「6.3 倍提速」用同一段输入当场复现。
模型开始能被「拆开看」:创作者和审计者之间的那道墙,被这类「下载下来自己跑一遍」的瞬间悄悄推平。
AI 视频公司爱诗科技完成整体 C 轮融资,累计 29.8 亿元,C+ 轮由阿里巴巴领投,王慧文家办等十余家机构跟投;旗下 PixVerse 用户已覆盖 177 个国家,年初推出的实时世界模型 R1 支持 1080P。
AI 视频正接替 AI Coding,成为第二个跑通规模商业化的赛道,资本用真金白银把判断摁了下去。
爱诗科技融资。
AI 软件创建平台 Emergent 完成 1.3 亿美元 C 轮,估值冲到 15 亿、晋身独角兽;平台已让用户造出超 1200 万个应用,七成用户此前没有任何编程经验。
「谁都能造软件」的叙事第一次有了规模证据,瓶颈从「会不会写代码」变成「想不想清楚要什么」。
Kimi K3 全权重上线,开放模型第一次摸到 3 万亿级。
微软 MAI-Cyber-1-Flash 攻防胜率 95.95%,安全开始「模型打模型」。
K3 三套基建开源,你能下载下来自己验「高效」是不是真的。
越疆人形机器人从协作臂技术迁移上肢,已在产线大规模交付。
爱诗近 30 亿、Emergent 1.3 亿美元,资本押注 AI 视频与 AI 建站。
便宜的开放模型、能自己验的权重、自己造工具的 AI,能力正从少数人的机房,往「你自己的机器」上搬。
峡谷里的地质史,比任何模型训练都久。
Grand Canyon, Arizona, USA · NASA · 36.06°N, 112.14°W
看了一天 AI 的新闻,地球上还有不需要 GPU 冷却的地方。山川湖海,让我们保持好奇、继续探索。