针对上述情况，中国驻斯里兰卡使馆已第一时间启动领事保护应急机制，敦促斯警方加大侦办力度、尽快破案缉凶。

1、乐鱼APP 甘德星座是我国首个商业化的空间碎片监测星座，规划总计120颗卫星，采用低轨、高轨混合构型，分三期进行部署。

当民警追问陶某蓉具体打工地点和联系方式时，黄某强开始眼神闪烁，试图用三两句话敷衍过去。乐鱼APPHy3还不足以证明腾讯已经追上所有对手，它更像是一个阶段性信号。

2、停火协议已废！伊朗向多国宣战？美媒：中国一枪未开，就成大赢家

再加上研发摊销（含自研情感大模型Resonance-LM等算法开发成本的单台分摊），摊销多少取决于实际销量。

3、10个零基础也能上手的木工DIY项目，从工具台到床架，做完一件就上瘾

也有部分消息源提到，K3可能采用MLA（Multi-head Latent Attention，多头潜在注意力）+ KDA的混合架构，MLA层可以延续Kimi长文本优势，优化百万级token的处理效率。

4、挖角同城死敌！曼联打包签下2曼城球员，“新博格巴”转投红魔

当展馆里的人们还在讨论AI替代、生产效率、产业格局和未来职业时，一个孩子用最直接的方式提出了另一个问题：在一个机器越来越“像人”的时代，那些纯粹属于人的、未必高效却真实的需求，究竟被放在了哪里？ 技术的终点，不是技术本身。

5、红色预警！辽宁今日多地暴雨，个别乡镇（街道）大暴雨

三、Frozen v2并非取代TPU，谷歌先将其作为技术试验 虽然Frozen v2受到关注，但知情人士透露，谷歌并没有计划用它替代TPU。

多出来的近14亿美元的费用，主要花在两项上： 研发费用达到23.71亿美元，同比多花了7.82亿美元，按CFO在电话会上的拆分，增量主要花在半挂卡车、Optimus、Cybercab三款新品的量产前期投入，以及新上线的AI算力；销售及行政费用19.82亿美元，同比多花了6.16亿美元；以及穿插在这两项费用里的股权激励，单季高达11.51亿美元，同比增加81%，占到了总营收的4.1%。

会前，大会已推动57个核心应用场景落地，累计达成约162亿元意向合作金额。

6、斯卡洛尼赛后落泪：西班牙更胜一筹，我将思考未来

分析指出，避开曼德海峡将使油轮航程至少延长四周，航行时间增加至正常水平的两倍以上，同时显著推高运费和保险成本。

来源：Thinking Machines Lab、Artificial Analysis、X智东西 作者 杨京丽 编辑 李水青 智东西7月16日报道，今天，在WAIC 2026开幕前举行的媒体交流会上，企业级AI科技公司百融智能介绍了企业级智能体的产品、技术及应用情况，并透露其将在WAIC期间展出百智WiseNote、百语、百服和AI工作手机四款产品。

7、穆里尼奥很紧张，姆巴佩脚踝是旧伤，皇马新赛季恐将面临毁灭打击

”刘知远说。

为什么在电商如此发达、算法推荐精准的今天，一家二手店反而成了年轻人打卡的地方？ 把它当成一家线下店，会低估它。

8、新华时评丨警惕小泉“狂言”背后的日本核野心

比如字节、腾讯、阿里、月之暗面、联想等企业，以及MiniMax、DeepSeek、Kimi、Xiaomi MiMo、GLM、Qwen等模型。

而且，自动驾驶的数据飞轮是车企用出货量跑出来的，但机器人本体厂出货量目前远远不够，所以独立数据公司的窗口期比当年更长，代价是商业化节奏也更慢。

看到我们来了，就招呼我们坐，还叫我们吃水果。

9、未来几周皇马引援，穆帅想要再引进2人，皇马BOSS也想要1人

超盒算NB将依托标准化门店模型和高效供应链体系，为社区居民提供新鲜食材、日常用品及便民服务，切实提升居民生活便利度与幸福感。

MiniCPM-RobotManip基于面壁智能最新多模态端侧模型MiniCPM-V 4.6训练完成，延续了MiniCPM-V 4.6“小尺寸、高性能”与视觉Token极致压缩的技术优势，以仅1.5B的参数规模实现比肩体量更大的3-4B模型的性能、但流式实时推理计算成本减半，模型支持1分钟的具身原生记忆，从而能够高效完成考验上下文记忆的操作任务。

10、体重管理

这条路，可能不性感，但足够务实。

优必选、思灵机器人等人形机器人公司以及工业解决方案提供商Connect Tech已将内存使用量减少了15GB，使他们能从NVIDIA Jetson AGX Orin 64GB模块迁到32GB模块。

1、宁德时代拟最多400亿元回购股份并注销，上半年净利432.84亿元增42%

越疆累计出货突破10万台，2025年境外收入2.42亿元、境内2.48亿元，海外占了近一半。

2、从“别和中信比有钱”到保密升级，国安改变公关，有些话真不能说

” 按照这一判断，未来的AI市场不会由某一个模型包揽所有需求，而会形成一个由模型、智能体、应用和基础设施共同组成的多层竞争格局。

3、双标？巴洛贡危险动作直红下场 梅西小组首轮类似动作安然无恙

▲联影集团董事长薛敏 智东西：这次世界人工智能大会期间，我们看到联影隆重发布了“元医院战略”，可否为我们简单介绍下这项战略？ 薛敏：此次发布的“元医院战略”，是牵引联影集团未来发展的一项重要数智化战略，也是我们充分思考后，对未来医疗的一份构想。伊朗新任最高领袖亮相，他“冒死”当选的三大原因！在互联网领域，昆仑芯为国内多家头部互联网企业提供长期稳定的算力支撑，当前已完成数万卡规模算力集群部署，支撑各类国民级AI应用的研发迭代、上线运营。

4、日产纯电中大型轿跑月销超万辆！不足12万起，高压快充+续航625Km

OEX兼容RDMA、Clink、OISA、SUE等多种主流互联协议，通过组件化设计，仅需更换UBB等关键模块即可快速适配不同GPU平台，实现多厂家GPU兼容。

5、医生实话：以下7种癌症治愈率达90%，确诊后无需紧张，安心治疗

强脑科技做智能仿生手和注意力训练设备；溯脑科技做睡眠干预眼罩，定价1000元左右，主攻北美市场。

6、有“料”又圈粉！这才是孝感社区该有的样子！

此外，无论是免费闲聊、日常通用对话，还是付费专业内容生产等高负载场景，其与英伟达新一代算力平台Rubin+LPX的性能差距正持续收窄。

其提供覆盖全算力需求的机器人计算平台，支持大量端侧可直接部署的环境感知、灵巧操作、人机交互、自主移动类智能算法与应用。

上半年全国猪牛羊禽肉产量达到5050万吨、同比增长了4.3%，国内水产品产量3512万吨、比去年同期增长了4.4%，蔬菜、水果等供应稳定、品类丰富。

7、千家店镇河南村：从汛前到汛后，全流程守护村落平安

GPU原生，认知驱动，面向AI Agents的新一代AI数据库，已经到来。

在软件上，健全工作机制。

8、黄浦区社区长者食堂一周菜单（7.20—7.26）

从蚂蚁阿福健康管家与华为体脂秤的打通，到AI版支付宝“阿宝”与阶跃Step-X的系统级协同；从支付行业首个“AI订阅服务”的推出，到高阶智能体架构HOP 3.0的发布……发布覆盖应用、技术、生态等多方面。

就像学而思硬件事业部总经理赵璞铮在发布会上说的：“教育真正要升级的不是设备，而是理解学生的能力。

” 名次虽未有定论，但博睿康和强脑科技是资本市场领跑者。

腾讯云就是这个链条里“看不见”的那一环。