」 在这个漫长的打磨过程中，机器人自身就在不断收集数据、反哺算法。

1、博鱼下载 3.5 Flash-Lite，击败了老大哥 第二款Gemini 3.5 Flash-Lite，走的是另一条路：主打一个快，还要够便宜。

每队不超过5人，至少1人具备模型调试或机器人操作经验。博鱼下载「冻结」一个模型 Frozen这个名字，就是字面意思：把模型「冻」进硅片。

2、队报：穆帅希望像当年执教C罗那样，把姆巴佩打造成超级核心

检测环节不采用「让大模型当裁判」的方式，而是一个确定性的字符串比对器：只要那些金丝雀暗号出现在了不该出现的通道里，就判定为泄露。

3、临危受命！张宁末节8分忘我怒吼，媒体人：伤没好利索主动请缨

Boris早就验证过这一点。

4、记者：费尔梅伦今夏可能离开莱比锡，多家五大联赛球队询问他

Light Interaction的做法更贴近自回归视频生成的实际结构：文本条件KV缓存和当前chunk始终保留稠密计算，只对历史视觉KV做3D block稀疏选择；同时通过Triton融合Q preparation、KV preparation和untile scatter等操作，减少中间张量和重复内存搬运。

5、陕西金泰恒业房地产有限公司:匠心交付创佳绩 “金彩生活”启新篇

一手实测：真能用 我们第一时间对该功能进行了简单实测。

标准的响应端掩码服从独立伯努利分布 但它并不关心掩码是否覆盖了目标相关位置，因而会稀释后门信号。

（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

6、【WCBA联赛】第十四轮｜浙江稠州银行54-86不敌东莞新彤盛

现在，开始能区分了。

所以，这不是AI推翻了顶刊，而是发现了一条人类本来可以不绕的弯路。

7、英伟达与Amkor签署价值15亿美元的芯片封装协议

机器人本质上是物理空间的Agent，高德对空间的理解、环境的拓扑结构、语义信息的丰富维度，是其他厂商难以企及的天然养料。

在如下的测试题中，GPT-5.6均在最短时间内，拿下了出色的成绩。

8、Aimé Leon Dore x New Balance 全新系列终于来了

不久前，斯坦福CS153的讲台上，有人问OpenAI CEO奥特曼（Sam Altman）：你怎么看教育？ 他顿了顿：「我很担心。

单一计数器，一刀斩断。

钛极模型的能力分三层。

9、要价超1亿镑的巴黎"边缘人"，利物浦阿森纳仍视其为头号猎物

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

10、面对面打爆库里！爽文男主的剧情降临NBA，这次真要起飞了

该研究 揭示了扩散式语言生成中一类全新的、且符合真实威胁的安全风险，呼吁社区共同关注新兴建模范式的安全问题，为DLM的去噪动态特性设计针对性的后门防御方法。

无问芯穹今天发布了一项与基础设施自我优化和进化直接相关的「前店」解决方案：基础设施智能体蜂群。

1、莫德里奇丨我们复仇与重振的渴望空前强烈

它不是某一个应用，而是内核、是驱动、是应用商店，是让上层无数软件得以运行的那层地基。

2、又伤了！巴萨主力中场世界杯遭遇伤势，预计休战三个月之久

管云账单的，想搞清楚每个月这笔云钱花在哪、哪块最烧钱，一句话就出。

3、我们为黑马落泪，为什么总对熟人苛刻？

一边是Gemini三连发，一边是Gemini 4开跑。山东泰山攻克新鹏城，喜提两连胜，克雷桑上演极限个人操作国产算力，上桌吃饭 过去几年，国产算力的叙事基本上是这么个套路：自主可控很重要，供应链安全很紧迫，我们的芯片能跑了。

4、马拉松突破2小时，这项运动如何与参与者一起脱胎换骨？

最典型的案例是一支开发小分队，全程没有一行人工手搓的代码—— 三个月，交付50万行级别的产品代码。

5、西班牙助力“锡班牙”！世界杯冠军成员佩德里将空降“苏超”赛场

当其他厂商还在用「参数规模」衡量模型时，K3已经用行动告诉我们：真正的竞赛，已经从「谁的参数更多」转向「谁的唤醒更聪明」。

6、山东高速男篮客场30分！一场输球暴露的远不止比分

Andre essen食 物中毒时的良好体验 ，和一个陌生人 在急诊分流上的 安全，得放在一起看 ，才算完整。

值得一提的是，ABot-N系列工作已经入选了CVPR年度最佳论文的候选。

Anthropic把它分成两类。

7、这个品牌没设计、价格高，却常年排队才能买到

对要在有限算力下支撑成百上千人并发的大型企业，这不是锦上添花，而是生死线。

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

8、俞浩为什么喜欢王传福？

当一个模型的输出可以追溯至其所依赖的本体条目，解释便不再依赖于对神经网络内部状态的猜测，而是建立在对知识结构本身的追溯之上。

于是衡量算力的标准，从峰值算力转向任务完成效率，而Token则成了智能体时代算力价值的新「货币」。

结果：审计这个代码库，把高危安全漏洞统统揪出来。

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