而发誓「绝不支持杀手机器人」的Jeff Dean，依然安稳地坐在谷歌首席科学家的位子上，假装一切都没有发生。

1、亚搏手机 任至意认为，他们更多在做一个research，推动机器人基础模型能力持续涌现。

但你可能正在把一根木桩，钉进传统电影的心脏。亚搏手机逐际动力回答的是另一个问题：如何把能力组织成一个能在真实身体上运转的系统。

2、贝克汉姆卷入转会纠纷！MLS正式调查卡塞米罗加盟迈阿密国际

李博在景观审图一线摸爬滚打了二十年，毒辣眼光全藏在岁月的褶皱里。

3、50岁你叫他“失业老头”，65岁请尊称他“世界杯冠军教头”

但这个战场，刚刚换了主人。

4、官方：科隆签下澳大利亚21岁世界杯国脚奥孔-恩斯特勒，转会费约100万欧

他说，这种把算子范数放到对偶范数和内积里去估的路数，本来就是分析里最常用的招之一。

5、阿根廷输球后行为恶劣被指输不起，麦克阿利斯特却称“嘲笑让我们更骄傲”

传统流程系统往往停留在步骤自动化。

越用越强：自进化的飞轮 HMS还有一个容易被忽略但极其关键的应用：自进化。

而这背后，是张益唐被偷走的七年。

6、横跨6届世界杯的他，官宣退役

参考资料： https://x.com/deedydas/status/2079409461874332066 编辑：摩西新智元报道 过去一年，具身智能赛道正经历着前所未有的「冰火两重天」。

第一个拦路虎是钱。

7、仁爱礁主动挑衅被管制，坐滩船要保不住，王毅赴菲国开会只留1天

堆得越多，「找不到」就越致命。

真正的核心，变成停止条件设计、验证器（verifier）设计、token预算控制、多轮执行策略。

8、首次！马宁将执裁世界杯淘汰赛

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

如下是一款由V4 Pro生成的3D模拟射击游戏，核心玩法是操控攻城弩车进行打靶训练，基础的UI功能也均已完备。

官方也给了一整套省钱纪律： 小任务别硬上多智能体； 能用便宜快的小模型，就别都用最强的； 大规模跑之前先拿一小片试跑； 确定性的活交给脚本，跑脚本比让模型一步步推理便宜得多； 例行任务别跑得比它该跑的更勤。

9、高考后第一天迎来“摘镜热”！岳阳爱尔眼科医院专家“支招”，助力高考学子摘镜圆梦

对于游戏模拟、虚拟场景探索、机器人和具身智能训练等应用场景，推理延迟和显存成本是能否走向实际使用的关键门槛。

这样一来，完整的Token从头到尾都没有作为一整串出现过，扫描器自然什么也查不到。

10、10家航空公司、5家线上售票平台被约谈

（图源：Claude官方博客） 人逐轮控制，你写一句，AI跑一轮，检查完再写下一句，全程你握着方向盘。

在他看来，人类现在用的笔记本和手机，本质上都还是二维屏幕，与物理世界之间没有实质性的交互。

1、今日重要赛事！7月10日，CCTV5、CCTV5+直播节目表

冷启动阶段，商汤先把设计师的专业判断整理成「指令思维链」喂进去打底，让模型学会「先定版式、再铺大色、最后抠细节」这样的先后章法。

2、45k英里 1999款雪佛兰Suburban LS 7.4L V8 四驱加州一手

高维开局，降维打击： 拆解小象电动的战略节奏 不过，宝马的M3属于百万级性能车，对成本不敏感。

3、英超豪门疯抢溢价球星，世界杯这5大璞玉才是真金，仅需千万镑

逃出去的东西，收不回来了 很多人看到这儿会松一口气：还好是内部测试，还好被监控着，还好及时拦下了。1970年路虎88项目车无保留价拍卖，据信曾属宾州警方托管沙盒 + 全栈agent控制 + 思考力度调速，在单agent的能力密度上做文章。

4、赛后阿根廷主帅泪流满面：我心里大概已有了自己想怎么做的想法，我看看我是不是该停下来，很难再组建这样的集体，这让我感到心痛，对不起

现在，账号粉丝已经突破320万，每个视频都有上百万的播放量。

5、世界女排联赛半决赛对阵如下！中国PK土耳其，意大利PK巴西

K3：全球开源最大最强AI K3是能力最强的Kimi模型: 参数高达2.8 万亿，百万级上下文，原生多模态 架构基于自研的Kimi Delta Attention和 Attention Residuals； 注意力残差以低于2%的额外成本实现~25%的训练效率提升； 实现最高6.3倍解码加速。

6、手下留情！劳塔罗破门涉嫌违规庆祝 主裁网开一面未给红牌

有人一口气囤了4个待兑现的重置额度，哪怕用着最烧钱的Sol Ultra，连周限的边都没摸到。

Andreessen说，这些朋友里有相当有名的人，现在见面「气色很差，黑眼圈很重，明显没在照顾自己」，但一个比一个兴奋。

没有店员，也没有夜班分拣工。

7、限量约5300台/无底价拍卖：这辆1988年BMW M3带着一身改装上场

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

这次还顺手把整套教学技能开源，配上一门给K-12老师的AI素养课。

8、卡拉帕斯突围夺环法第18赛段冠军，彼得森冲刺积分回血

作业、考试、论文……一切还是老样子。

Grok 4.5在P6上只挤出7053个token，全场垫底。

更耐人寻味的是xAI最初的反应。

它的任务只有一个，找漏洞、补漏洞。