此外，据海外开发者分享，DeepSeek-V4正式版已经有部分用户被灰测，预计将于明天正式发布。

1、高比体育 四、应用宝为什么做Marvis和吐司？ Q12：腾讯已经有多款AI产品，应用宝为什么还要做Marvis？ 蔡建涛认为，应用商店所提供的服务，过去通常需要经过“找到软件、下载安装、使用软件”几个环节。

6月初，其具身基座模型Spirit v1.6在RoboArena榜单上以1918分的成绩超过了英伟达Cosmos3的1880分，一度位居“世界第一”；紧接着，千寻宣布完成15亿元A+轮融资，三个月内累计完成四轮密集融资，总额接近50亿元，创下具身智能赛道的融资频率新高。高比体育今年5月，星动纪元Era0宣称拿下RoboChallenge Table30第一；智元GE-Sim 2.0是World Arena Track1第一；跨维DSCFuncWorld是World Arena Track2第一。

2、李云峰在交城调研

移动端的出现，同样体现了Qoder对于开发场景变化的理解。

3、聚焦“一县一特”，服务地方农业——岳阳农担助力“土特产”变身“大产业”

一个好的AI家教，追求的不是每道题都一次做对，那既不现实，也有害，不合时宜的正反馈反而会磨掉孩子面对难题的韧性。

4、卡里克抢占先机！曼联领跑 8000 万英超天才，切尔西计划彻底落空

原来，AI根本没老实待在需求划定的那一小块地里。

5、临时主帅马廷利：输给道奇不影响信心，费城人能击败任何对手

在这一背景下，百度提出‘云智一体，向上、向深、向善’，是对AI发展新阶段的思考和判断。

继2023年9月与Anthropic达成40亿美元（约合人民币271亿元）的合作后，双方在2026年4月再度深化合作。

系统级重构解决了权限与调度的问题，但伙伴体系建设需要时间。

6、广东外援调整初现端倪：1人基本留队，2人铁定走人，1人去留待定

大生庄村村支部书记马瑞广站在加固完善的古树防护围栏旁，向记者讲述整改前后的巨大变化。

在SOL-ExecBench FlashInfer-Bench子集上表现靠前，就意味着模型在下面几项能力上具有优势： 这也意味着，能在SOL-ExecBench上持续进化的模型，具备在客观物理约束下进行闭环自我改进的能力。

7、火箭签下联盟顶级投篮教练 汤普森申京投射短板迎来最强解法

当天，公司公布一份澄清公告，回应五天前的实名举报。

AI Agent手机在功能层面已经展示了想象力，但从demo到日常可用，还有距离。

8、随笔｜吴巧玲：又见南山

但这套逻辑对Agent不成立，因为Agent在生产环境里的每次对话都是关于真实行为的宝贵数据。

大规模模型训练需要大量GPU集群，英伟达凭借GPU生态占据主导地位。

例如，原力灵机联合阶跃星辰发起6台机器人15小时持续拼装超8万件长城模型积木的挑战，银河通用G1机器人演示在连续被干扰情景下进行多物品操作、多步骤规划的烤面包、倒饮料任务，智元远征A3基于超维动力系统与观众现场对打需要极快反应速度和极高协调性的乒乓球。

9、热刺首秀轰世界波！曼联8500万错买之人让红魔后悔？

燧原科技计划持续加大技术创新投入与产业协同力度，与广大产业伙伴开展深度合作，满足多元客户需求。

四、端侧智能需要软硬协同，达到GPT-5.6级水平还需两三年 姚远说，端侧智能大脑是两个趋势共同叠加的效果：一是模型密度越来越高，相同的水平可以做的越来越小；另一方面就是终端计算能力越来越强。

10、比尔队球星惊人理论：我们球场被诅咒了！旁边墓地藏着四连亚的秘密？

▲Qwen-Audio-3.0-Realtime Plus和Flash版本价格（智东西制图） 千问称，Qwen-Audio-3.0-Realtime能在压低时延的同时不掉智商，核心技术支撑来自在线策略蒸馏和多教师蒸馏框架。

面向个人，金山办公发布全新AI原生办公产品“灵犀专业版”。

1、揣着500卢比跑了5年，这个印度飞人要在百米赛道改写历史

作为全球首个多AI与人类同台进行世界杯预测的人机对决，“世界杯预测人机大战”采用直播真人秀机制，真实赛果即时验证、全程公开记录，打造全民参与的大型人机博弈。

2、Stephen A. Smith：库里当属历史前五，名人堂为他首开现役球员特展

Kimi称，在连续48小时的自主Agent运行中，Kimi K3基于开源EDA工具和Nangate 45nm工艺库，独立完成了芯片的构建、优化与验证。

3、204名投手单季至少1次救援，Sewald却连续3场失分陷危机

如果越疆合伙的协议里确有这类约定，“须全体一致同意”的默认规则还能否适用，本身就是争议点。国际篮联三篮女子系列赛仙桃站中国队夺得冠军，湖北人挑大梁喻超表示：“鹿明不仅希望打造优秀的机器人产品，更希望构建一套真正能够融入产业体系的智能底座。

4、西班牙头号卧底！巴萨超级天才灾难发挥，险些葬送世界杯四强

芯片、AI与规模量产：三大能力构建机器人技术平台 公司坚持全栈自研SPAD-SoC芯片路线，E2平台落地的自研"孔雀"芯片以超大面阵和图像级感知能力支撑当前产品性能升级，并将其作为统一的机器人数字化感知底座，驱动其后续产品迭代。

5、Cricinfo：阿富汗或9月在印度主场迎战印度T20I，历史首次

二、Hermes Agent支持本地运行，开源生态吸引开发者关注 Nous Research最受关注的产品是Hermes系列模型以及Hermes Agent开源的AI Agent框架。

6、世纪罕见！FIFA：美国前锋染红停赛缓期1年执行 特朗普：不公被纠正

随着模型能力提升、AI编程突破和推理成本快速下降，AI第一次具备大规模改造企业经营模式的能力，其价值不应停留在边缘流程自动化，而应进入影响经营结果的核心业务判断。

相较于结构光或ToF方案，PoLi ID采用更加紧凑的硬件架构，模组尺寸更小，对CMOS影像传感器、VCSEL等核心组件的要求也更低。

7月20日，奕境X9首台量产车刚刚在成都正式下线，标志着该车型从技术研发迈向规模化生产，并计划于8月上市。

7、王欣瑜“以下克上”未果，遭11号种子本西奇横扫，温网中国单打选手全军覆没

停在杭州萧山机场货机坪的阿联酋航空A380（图据潮新闻） 据都市快报，早上6时05分，乘客“yang”录下的视频中，机组广播称：“……用车送您离开飞机，这个过程需要当地边检到场。

Q10：Skill社区为什么要采用内容广场的形式？ 蔡建涛称，Skills、MCP、CLI等概念对普通用户并不友好，名称和配置方式也存在较高理解门槛。

8、菲戈：罗德里转会皇马困难，球员获金球奖提名竞争力

开发者可以像管理真实团队成员一样，为其分配任务、跟踪进展，并持续推动任务迭代。

她最终看中一台95新、512GB、电池健康度95%的iPhone 17 Pro Max，她告诉「定焦One」，原本只想先看看，但“商品很新、价格也很香，还能直接把自己旧手机以旧换新抵扣”。

世界杯期间，一部分此前较少关注体育内容的用户开始发布足球相关内容，这些内容又在与穿搭、美食、娱乐等原有生活内容不断交融、生长。

成都越凡创新科技的配送机器人已在新加坡樟宜国际机场投入运营；卡诺普机器人产品出口40多个国家和地区；本土AI内容平台海外用户占比超90%……越来越多“成都造”产品正借助数字经济走向全球。