旧金山公司Unlearn把因果推断用在临床试验上，用“数字孪生患者”缩减对照组规模，方法获得了欧洲药品管理局的认可；伦敦公司CausaLens则把因果AI做成企业决策平台，客户覆盖制造、零售、金融、医疗等行业。

1、九游体育 （doge） 甚至，据说，连黄牛票…都炒到3000块钱一张了！？ 真不怪大家这么热情，主要吧，还是展会现场太有看头了—— 这边机器人模拟药房拿药取药、那边机器人组团开演奏会，还有各种长进真实硬件里的Agent和操作系统。

每一个模型、算子、框架和应用，都可能暴露新的兼容性问题。九游体育比如：理解用户要做一道菜，分析厨房空间和冰箱里的食材，判断是否需要从电商或本地生活平台下单补货。

2、新赛季回归广东男篮几乎毫无悬念！外援奎因社媒晒度假动态引关注

传统视频通信主要处理比特流。

3、赛后拒绝握手，朝鲜U20女足全场围攻，日本队1次打门就进夺亚洲杯

” 业界普遍担忧，内存而非计算才是Agent时代的“卡脖子”环节——KV Cache（键值缓存）大小与模型生成序列长度成正比，文本越长，缓存的Key和Value向量越多，显存占用越大。

4、巴西1-2爆冷不敌挪威！球迷要认清6大残酷现实内马尔时代彻底落幕

这次获奖，表彰的是他在André-Oort猜想上的证明工作。

5、100亿！“陕西社保科创基金”今日成立

在8B基座加Hidden Decoding（n=8）上，团队观察到两点： 其一，同一token的各流在Transformer中间层显著分化、临近输出层又部分靠拢，且最终流对其他流分配了可观的注意力，构成从中间流到预测流的读取通路； 其二，把共享的输出头施加到各流时，中间流的最优预测常与最终流不同，最大差异率约63%，且其不确定性普遍高于最终流——说明在最终预测收敛前，中间流保留了更宽的候选分布。

传闻在社交媒体不断发酵，“宁可不看球，也不付天价”的公众情绪，也让这场谈判变得更为敏感。

29分意味着，选手完整解决4道题，再从剩余两道题中拿到1分，就已经能够进入金牌区间。

6、亚历山大MVP，米切尔爆发，雷霆4-0横扫湖人！彻底看清5个现实

Mecka AI推动了一条更便携的采集路线：使用iPhone与轻量化头戴装置完成第一视角采集，再通过云端处理恢复头部轨迹与双手三维关键点。

但互联网视频模型的Attention结构已经在几十万到百万小时的猫狗视频上定型了，直接往具身基座模型里嵌，容易走向两个极端： 1、视频模型原有的幻觉跑进动作策略，导致操作不到位或判断混乱； 2、视觉理解、空间理解和动作永远无法同步。

7、劳塔罗世界杯闹大了！阿根廷内讧爆发，劳塔罗点赞怒斥阿根廷主帅

形成“设定目标—模型设计—计算筛选—自动实验—结果判断—反馈再设计”的循环。

要读大量执行轨迹，找失败原因，改提示词或工具规则，再反复跑benchmark。

8、千元机时代终结，旧手机更值钱：存储涨价的另一面

目前我们会在早期去跟踪那些能讲清楚第一性原理，又能链接生态的初创公司，还没到大规模出手的阶段。

虽然团队过往对外发声始终秉持审慎的态度，但从近期集中发布的技术博客来看，其已清晰勾勒出一条技术演进路线—— 从V3时代的训练体系搭建，到V4时代的效率与质量创新，再到600B级模型的Scaling突破与Hidden Decoding的推理范式创新。

全新纯电i6一季度交付4.9万辆，但全年仍需大幅爬坡；下半年i9将进入更高端的纯电市场，直面蔚来、小鹏、问界的竞争。

9、把思考折叠进序列：WeLM 617B MoE的隐式Scaling路径

产品覆盖30多个国家和地区，工业移动操作机器人全球市占率领先，复购率超过70%。

评测集这边，DW0.5还在EWMBench、WorldArena等基准测试中横扫榜单，分别以4.73、73.54的分数，斩获全球SOTA（数据截至7月9日）。

10、赛季之星评选温网冠亚军全部落选，纳达尔为阿卡同意网协主席斗嘴

毕竟，阿里的模型千问能力到底啥水平，也是有口皆碑，确实蛮夯…… 但IDC这份报告不太一样的地方在于，它统计的不是模型能力，而是中国AI编程Agent的「市场份额」。

除此之外，中兴通讯还统一定义了机柜形态、接口规范、互联协议，形成了一套可以复制的工程范式，产品落地周期因此从1年以上压缩到半年以内。

1、火箭两份合同签2人，仅104万受保障！斯通精打细算，引援能省则省

OpenAI那边，全双工GPT-Live直接搬上了macOS和Windows桌面，动动嘴就同时指挥一整队Agent，并且支持中文。

2、追牦牛、摘树叶、自己种地——喜茶怎么做产品

这套能力，商汤打包成了一门叫「Token工厂」的生意。

3、北控大刀阔斧换血！刘家成拿下国手锋线，四大引援一跃成联盟新贵

模型更新速度日新月异，LongCat团队始终面临着外部竞争带来的紧迫感。前四齐聚世界杯半决赛，相当于大满贯什么级别？2年，AI将在数学上彻底超越人类 Tsimerman因彻底解决「安德烈-奥尔特猜想」（André-Oort Conjecture）等算术几何难题获奖——那是代数几何皇冠上的明珠，几代数学家都啃不动的硬骨头。

4、快船128-120击败森林狼！落选秀爆砍24+5+11+6，快船淘到3个好手

为了进一步约束动作方向，高层系统会为基于任务结果的预测生成“关键结果图像”，明确每一步的视觉目标，从而让机器人不仅知道“当前需要做什么”，还能够获得“完成后应该呈现什么状态”的目标参照，极大化提高任务成功率。

5、相逢橄榄树下，西安首个艺术住宅立标作品启幕

面对自己不知道的问题，它也很少真正停下来。

6、曼联接近打包曼城2名16岁天才，阿森纳抢人失败

基座承载通用知识，LoRA承载你的偏好、你的代码风格、你的业务逻辑。

打开小红书，搜一个和你此刻困境有关的Skill用起来；或者，把你脑子里那个「要是有个小工具能……」的念头，用Vibe Coding试着做出来，挂在你的笔记下面。

“那时候我才意识到，我是个中年人，简历上写的都是十年前的技能。

7、“张雪机车”车手获世界超级摩托车锦标赛多宁顿站杆位赛第7名_网易订阅

GLM-5：更需要管住shell状态和节奏 GLM-5暴露出的弱点更集中在shell会话状态，以及从探索切到实现的时机。

同一个adapter重复采样198次，最高只有：43.78%。

8、锐评辛纳进决赛：受伤的元婴怎敌得过化神大神？对手太残忍了！

看到这家公司第一眼，我就在想： 昆仑万维，一个印象中涉足AI游戏、AI音乐、AI短剧等内容赛道的公司，怎么突然干起机器人了？ 还专门成立一个子公司独立运营？ 理了理，背后其实是两条逻辑线的交汇。

过去做一个产品，开发、设计和运营缺一不可。

一个是“百年老店”、全球第二大冰淇淋品牌，一个是成立仅5年的茶饮“新贵”，品牌、体量的巨大反差，使得这笔交易备受关注。

AI4S（AI for Science）对算力的需求与纯AI推理不同：科学计算通常需要高并发、大吞吐、长时任务，且对双精度计算能力有硬性要求。