而现在，清程极智告诉整个市场：你不需要会用国产显卡，你只需要使用Token。

1、人人体育 作为一个以本体为核的企业级AI基础设施，LegionSpace将模型所处理的信息、所依赖的知识纳入形式化本体工程，使每一次推理与决策都锚定在可解释的知识结构之上。

过去国产芯片适配是公认的苦活，每换一款芯片都要重新踩坑。人人体育Tibo：没有降智 我们在查用量 当晚，Tibo（Thibault Sottiaux）就出来说话了，他在OpenAI负责Codex与ChatGPT Work。

2、《你把我灌醉》原唱，张学良外孙黄大炜离世，家属证实在美国猝死

Kimi K3绝对是AI发展史上的一个历史性时刻，开源AI进入后Claude Opus 4.8时代！ 300亿美金豪赌 智能成为公共设施 Kimi K3的2.8万亿总参数，是MoE架构的精妙设计——总参数巨大，但激活参数远低于总参数，提升了MoE的稀疏度，结合Stable LatentMoE 框架，实际推理时从 896 个专家中激活16个。

3、詹俊灵魂发问：如此多球员世界杯表现好 利物浦怎么才英超第5？

这在人类科研中非常致命——一旦某个大牛提出了一个看起来很美的方向，所有人都会一窝蜂涌过去。

4、俄罗斯乌拉尔将于2028年推出新一代卡车系列

清华大学计算机副研究员苏航，聚焦可恢复性——真正的智能不是不犯错，是知道怎么改回来。

5、黑八前夜 勇士跑轰大队集结 老尼尔森执教生涯的最后一搏

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。

他们不从「已知的攻击场景」出发，而是从计算机系统几十年沉淀下来的安全准则出发，为这类智能体设计了406道对抗性任务，并在3个真实平台、5个前沿大模型上完成了测试。

Stuart Russell，是全球呼吁禁止自主武器的头号斗士，曾在联合国痛陈「杀手机器人」的危害。

6、王哲林谈离开福建：球队没有太强烈冲冠意愿感谢让我离开追求梦想

Skill是最现实的认知载体 在佟博士目前的体系中，Skill是企业认知资产最重要的工程载体。

在接到需求之后，U1 Pro会先想版式、打草图，然后还会回头审一遍对不对味，再一块块填细节，最后统一调色、精修。

7、22幅 当代画家风景油画作品

主流DLMs上的后门攻击评估结果 中毒率消融：更高效的注入 不同中毒率下各方法的攻击成功率 不同中毒率下各方法的良性效用 在0.01/0.05/0.10/0.20四档中毒率下，所有方法的 ASR 都随中毒率上升，但BadDLM 在各档位均稳定领先，且效用几乎不变。

当无数模型、Agent、机器人接入同一个记忆层，一个个体踩过的坑，就是整个群体的本能：个体怎样从记忆长出智能，群体就怎样长出更大的智能，像一棵树，每根枝桠都按整棵树的方式生长。

8、新样本！中天国富证券扎根贵州，全周期服务本土科技企业

相较于SFT，这种解耦方式不仅完美保留了预训练的通用泛化性，更实现了真正的零遗忘。

惊喜的是，在这方天地间，我们还看了一场染透天际的日落。

不像语言模型可以云端调用API。

9、地震后柳江水温升高？当地辟谣

参考资料： https://x.com/BrianRoemmele/status/2078840929088340408?s=20 https://huggingface.co/blog/security-incident-july-2026 编辑：桃子新智元报道 祝贺中国队！ 在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！ 中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。

面壁智能、智谱等纷纷布局具身智能，是行业趋势。

10、足坛一夜动态：荷兰0-1爆冷，意大利1-0险胜，波兰补时绝平

这套设计把机器人数据从单一的动作监督，扩展成「指令理解+时序推理+动作生成」的联合监督。

第二件是治理。

1、锦绣黔东南

商汤已经签约国星宇航，计划今年四季度发射4颗「商汤号」系列算力卫星，完成首发并组网；2028年目标建成星地混合云商用骨干网；到2030年建成千颗级天地一体化AI算力星座。

2、见“郑”女王，创造历史：那一枚奥运会女网单打金牌

这意味着，今天在四足狗上验证的经验，明天可以直接迁移到双足人形上，而不需要推倒重来。

3、时代落幕？曝39岁梅西告知队友：世界杯决赛是他在阿根廷队最后1战

目前，华为、比亚迪、广汽、美团，以及中国兵器、中航、中车等集团，都已是其合作伙伴。【今日信息】中卫上百个岗位紧急招聘中…7月10日每个任务达成目标就退出，整条例行任务则一直跑到你亲手关掉。

4、太美医疗科技(02576.HK)7月24日耗资388.2万港元回购69.32万股

六台机器人，没有总指挥 再看阵容。

5、AI烧钱担忧叠加中东局势，韩股一度跌超6%、SK海力士跌超7％，油价上破100美元

把贵的模型用在刀刃上 首先是「星火Token Factory」的第一件事，也是最核心的一件。

6、大度！梅西祝贺西班牙夺冠 首次回应世界杯卫冕梦碎：伤口很难愈合

清程极智联创师天麾打了一个绝妙的比方：国外的vLLM就像是西方人用来烤面包的「烤箱」，那是为英伟达量身定制的。

只学习正确路线，机器人可能能够走一段；只有把错误状态和恢复过程明确纳入训练，机器人才能在偏航后真正找回方向。

和长程工程一样，这种能力同样练自「车间」。

7、胡宇威陈庭妮宣布女儿出生

更省、更便宜，还得更能打，这才叫诚意。

上百轮交互里，好结果到底是哪一步促成的？团队用非对称PPO：模型干活时只看真实环境信息，训练打分的 Critic 却能额外借用「上帝视角」—— 最终测试是否通过、补丁质量如何，让奖惩精确落到具体某一步，避免「一步错、满盘输」。

8、三球换里德：森林狼和黄蜂谁更癫？！

真正让人后背发凉的，当AI被拿去当「裁判」，评估其他模型的行为时，它自己也会失配。

那个抱着孩子的爱尔兰女人，她真实存在过。

一个入口 搜遍你的整个ChatGPT 这次更新，不是让ChatGPT去搜互联网，那是它早就有的功能。

领略完KAT-Coder-Pro V2.5的真实战力，是时候扒一扒它背后的工程实现了。