group-anchored regularization 抑制不可复现的投机捷径，避免模型只追求短路径却损害成功率。

1、火狐买球 脑洞很上头，制作表却很劝退。

架构理念是最根本的分野。火狐买球不需要让机器人训练具体任务，只要训练一次动作，即可复用于 VLA 执行、遥操作采集、零样本回放三类场景。

2、罗纳尔多：梅西是历史第一！英格兰也挡不住，生涯暮年仍统治世界足坛

有人用Wolfram Alpha快速核验，发现结果完全正确。

3、邵阳市区这一路段将进行交通管制！

参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

4、不受欢迎的英联邦运动会，这12个理由让你非看不可

从一张图，到一个世界 但踩下这一脚，还不是U1 Pro的全部野心。

5、世界杯比赛要开始了，还有18万张票没人买

如果说Token Factory是一座发电厂，「超节点」就是那台真正把电发出来的主机。

更离谱的是，他手上同时跑着几百个AI智能体，每晚还有几千个替他上夜班。

第一，Qoder Security做的事很简单——在编码阶段帮你早发现、早修复，把那些明显的坑提前填上。

6、国际足联发声：对世界杯决赛展开调查

可解释性问题的真正难点，或许不在于技术手段的不足，而在于问题框架本身的窄化。

当同行还在消化WAM概念时，银河通用直接将理论工程化。

7、12万英里大众途锐柴油版无底价拍卖，3.0升V6搭配8速自动

一个用图表证明自己更划算，一个直接把闸门开大让你自己试。

不加说明就是噪声，标清坏在哪就成了错题集。

8、Dreyer & Reinbold获印地赛车特许经营权 宣布2027年重返完整赛季

训练时，还专门做了随机历史长度和历史增强—— 历史信息缺失或者失效的时候，模型能退化回只看当前帧，不至于当场崩掉。

这对于AI可解释性的深层启示在于：当我们解释一个语言模型的输出时，真正「可解释」的不是内部神经元的物理激活，而是信息被范畴化、被结构化为可理解知识的过程。

她给了一个刺痛所有人的数字—— 几年前，设计师60%~70%的时间花在画稿和做原型上，而现在只剩30%~40%。

9、五十载匠心登峰，新质力共启征程！波司登链动全球领先供应链新未来

如果把长程导航比作沿着一条细线行走，传统方法更擅长在没有干扰时沿线向前；DA-Nav则进一步具备在偏离细线后主动靠回来的能力。

在此框架下，本体的构建须面向大语言模型的调用接口进行优化——其类定义与关系描述应便于模型理解与使用，结构化知识应便于模型检索与引用，约束规则应便于模型进行输出验证。

10、曾留洋葡甲的他！如今成为大连英博夏窗新援，将去二队踢中乙

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

第三步：构建「双元素集」标签法（Lemma 2.1） 这简直是AI独创的「魔法」。

1、点球都能输的德国队，你指望他们赢得什么？

自研多模态模型MiniCPM-V/O系列已迭代两年半，开源下载量突破2500万；MiniCPM-V 4.6开源不到2个月下载量突破200w，在国内外社区影响力广泛。

2、中国公开赛：国羽4战3胜，王祉怡2-1逆转，贾一凡张殊贤无缘前八

企业为了获得模型服务，必须首先把自己的问题、上下文、数据、工作流程和判断标准暴露给模型。

3、拉皮诺埃：特朗普介入干扰了美国队，“破坏了原有的良好氛围”

更难得的是，这个「发电站」不仅支持全国产算力，还能基于异构集群进行深度优化（例如将Prefill和Decode环节分离，让最擅长的卡干最擅长的事），彻底打破了海外推理引擎的生态垄断。官方：英格兰后卫宽萨禁赛两场！「氛围编程」（Vibe Coding），虽然提升了编码的效率，但与此同时也开始暴露新的安全隐患和风险。

4、中国羽毛球公开赛：国羽单打4战1胜3负，韩悦出局，男单无缘四强

Tibo的帖子大意是：不是「降智」，是「调参」。

5、46岁吉赛尔·邦辰晒豹纹泳装庆生，离婚布雷迪四年后已再婚生子

在试点中，日均有效沟通时长被提高了36%。

6、WD-40定制悍马SEMA展车出售，搭载LS3 V8曾征战墨西哥1000

逃出去的东西，收不回来了 很多人看到这儿会松一口气：还好是内部测试，还好被监控着，还好及时拦下了。

从7月20日开始，Claude Fable 5将直接包含在所有的Max和Team Premium订阅方案中（虽然额度被限制在50%）。

基础设施层面，原力灵机的布局同样凶悍： Dexbotic：全球第二、国内唯一的通用具身智能框架，已服务清华、北大、普林斯顿、帝国理工等知名院校，以及阿里、腾讯、北京人形机器人创新中心等领先机构，覆盖超千位研发者； RoboChallenge：与Hugging Face联合发起的全球最大规模具身智能真机评测平台，吸引智元、星海图、星动纪元等近20家具身智能企业联合运营，累计服务全球超7万次真机测试，阿里千问、小米、千寻智能等均参与其中。

7、仅行驶2.4万英里：这台1983年宝马633CSi历经四任车主仍如新车

有些活是重复的，任务不变，只有输入在变，比如每天早上总结一遍Slack消息。

底层 S0 / WBT 也有对标行业公开最强全身跟踪模型 SONIC 的量化数据：关节角误差从 3.3° 降到 1.5°，全身位置误差从 13.75 mm 降到 12.85 mm，动作平滑度同步提升。

8、世界第一舍夫勒开炮：不再沉默，炮轰小麦嘲讽德尚博“表演”太刻薄

我一生都在研究AGI，因为我始终深信：只要负责任地构建与部署，它将被证明是人类有史以来最有益、最具变革性的技术之一。

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

1950年提出，此后七十多年里它一直是判断机器智能的黄金标准。

展会第三天，超维动力（Kinetix AI）的展台前依然围了好几圈人。