小米汽车客服也称，车辆开出国，可能车辆会没有网络，车上物联网卡到国外是没有信号的，厂家没办法远程操作，如果出国，建议带好卡片钥匙和实体钥匙。

1、火狐官网 该产品面向AI应用和智能体开发者，提供了覆盖订阅管理、按量计费、自动续费的一站式商业化解决方案。

这建立在两家公司长期合作关系的基础上，这段关系始于30年前，英伟达与世嘉合作开发用于街机系统和游戏机的新兴图形技术——NVIDIA NV1芯片为PC上的第一款《VR战士》3D格斗游戏游戏提供动力。火狐官网热度之下，这张由高端大赛与民间赛事共同织就的足球网络，能否稳稳承接世界杯的流量？小红书又能否依靠足球沉淀一门长期稳定的体育生意？ 这场野球节没有世界杯的聚光灯和数万人的看台，但赛场上的凝聚力、紧张感和对足球的认真一点也不少。

2、一辆废弃川崎、一位前店主与一份手绘计划：阿普利亚Motogp王朝的草莽起点

该航班上的一位旅客告诉潮新闻记者，大伙儿从最初的表示理解，到后来无法理解，现在不少旅客的情绪比较激动。

3、瓷韵新生创未来 白银平川陶瓷产业吸纳人才助推经济发展

邢斌本职工作为临沂大学文学院讲师 受访者供图 涉事外卖站站长在接受红星新闻记者采访时表示，之所以将邢斌踢出外卖工作群，是因为邢斌没说清楚受伤程度。

4、原定2027年退役的费城人王牌，如今亲口改说：永不说不

把这几条路线摆在一起，会发现VLA和世界模型并非二选一的关系。

5、郭艾伦将离开广州队，下赛季会去哪，依我分析，下家3选1

招股书称，公司侵入式脑机接口产品处于研发阶段，尚未实现商业化销售。

Ava解释道，“我们从一开始就把产品定位在消费级，所以尽量选用低成本硬件。

结语： 从手写算子到AI生成、调优， Qwen3.8刷新自动化算子生成能力上限 Qwen3.8此次登顶，意味着其有能力承担底层算力优化的复杂工程任务，并进一步压缩人工介入算子开发的工作环节，其能直接对接真实硬件环境采集运行反馈，形成从算子生成到性能调优的自动化闭环。

6、世界杯会老 但天才不老

用户打开淘宝摄像头，就能与AI进行实时视频交互。

（1）购物助手（工具使用评估）： 对接成百上千API和Web服务，schema定义差会直接导致选错工具、推高延迟成本。

7、青海省人民政府最新通知

工业经济较快增长 上半年，规模以上工业增加值同比增长6.4%。

从迪拜、阿比扎比到瑞士、伦敦，萝卜快跑足迹已遍布全球27座城市，把中国领先的无人驾驶能力带入更多全球城市。

8、万亩荷海搭戏台！岳阳市2026年夏季村晚点亮洞庭夜色

林松涛称，应用宝十几年在做的就是一件事：把数字能力推给用户，这件事在不同时代赋予了不同的形态，但是到了AI时代，用户要的是结果交付，仅仅把能力和服务推荐给用户，已经难以形成完整的闭环。

据英国《金融时报》昨日报道，DeepSeek本周开始与新的投资者展开初步接触，讨论开启新一轮融资，投前估值约为710亿美元（约合人民币4813.9亿元），较其首轮融资估值提升约37%。

曼德海峡所连接的红海航线，是霍尔木兹海峡受阻后维持中东原油运输的关键替代通道。

9、曼联跟队记者谈球队与霍尔的传闻；队报：曼联已经与马努·科内展开了谈判

这种模式重构了算力的分配逻辑，使得AI的生产要素（Token）能够在地面智算中心与空间在轨算力之间实现动态的协同生产与实时流通。

云知声、蜜度、第四范式、澜舟科技、特赞、滴普、博思云等亦展示了企业级智能体的操作系统、平台或产品。

10、武都：科技赋能筑防线 全民禁毒护平安

2026年6月，北京亦庄国投设立人工智能与集成电路、智能制造与机器人、生物技术与大健康、未来产业四只产业基金，总规模达200亿元。

尤其在西班牙对佛得角、比利时对伊朗等11场平局比赛，以及4场传统强队表现不佳爆冷出局的比赛中，12 个AI更是集体“翻车”。

1、浙江一幼儿园多张毕业照被指"走光"

企业级智能体方面，腾讯云副总裁吴运声现场发布了企业级智能体开发平台ADP 4.0海外版。

2、2027年英澳板球对抗赛赛程确认：男女队同步开打，南安普顿迎历史首秀

SOL-ExecBench榜单是今年3月，英伟达推出的GPU CUDA Kernel内核优化基准评测套件，面向Blackwell B200架构专门用来评测AI智能体、编译器、自动内核生成工具写出的GPU算子性能。

3、美国女飞人社交媒体发声:感谢纽约市长送票,隔空喊话邀他来周六看比赛

▲2025年5月13日，美国总统特朗普与沙特王储在沙特利雅得举行会晤 对沙特而言，这份“完全没有提及承认以色列问题的”核协议无疑是重大外交胜利。从策划设计到运营落地：华建集团环境院「2026城市运动嘉年华」首秀圆满收官只有在获得官方批准且旅客符合入境条件的情况下，才可能被允许下飞机。

4、破天荒！红牌“缓刑”！国际足联给美国队送“大礼”，比利时气炸：以为是愚人节

中国联通董事长董昕在致辞中表示，中国联通认真落实“人工智能+”与“模数共振”行动，深化5G、AI与工业互联网融合，助力制造业高端化、智能化、绿色化发展，将当好算网底座的供给者、应用场景的实践者与产业生态的营造者，与各方携手，更好地以人工智能赋能新型工业化。

5、南京“超大版”地铁票火出圈，网友热议：不愧是近视友好城市

再看它跑出来的场景，有语音、视觉两个方向。

6、比梅西更体面！世界杯丢冠全队失控，唯有一人赢得全世界尊重

用电紧张的预期带动整个电力板块资金活跃，立新能源作为新疆区域新能源发电的龙头标的，在板块联动效应中自然被推向资金关注的中心。

传统GPU和传统CPU在面对智能体工作负载时，都会遇到挑战。

结语：英伟达与日企合作，推动开放的AI生态系统 AI不仅仅是加速计算，而正成为基础设施。

7、ICC官宣2027年世界测试锦标赛决赛定址伦敦椭圆球场，恰逢板球测试150周年

Kimi称，Kimi K3的完整模型权重将于7月27日前发布。

对消费者来说，“逛哪家店”和“能买到什么”之间的限制被打破了，门店也不再受限于自己的一亩三分地，因为身后是一张全国性的库存网络。

8、转会窗：尤文有意再追马特塔，门将补强除阿利松外还有多个选择

而从2026年开始，AI的核心命题将转向“理解”与“交互”——让AI真正理解物理世界的运行规律，并能与真实环境进行闭环互动。

从过往玩家们的行动来看，专业回收、平台质检、多元体验仿佛是一个“不可能的三角”：线下集市有品类的丰富性和逛的乐趣，缺一套统一的质检兜底；布局线下门店多年的玩家，回收和质检的专业度过硬，但品类局限在手机数码；街边的传统线下二手店更依赖店主个人经验，标准化质检和多品类覆盖都缺，本质上还是一门信息不对称的生意。

相比市面上绝大多数的模型都是4倍的视觉压缩率，面壁智能在无损的情况下做到16倍的压缩率，甚至能通过视觉编码器内部的融合，实现计算量再进一步的发展。

以下是智东西本次观察到的蚂蚁在此次WAIC上展现出的三层AI棋局。