以是德科技、安立为代表的海外巨头依然占据国内整机市场84%的份额，联讯仪器作为国产龙头整体市占率不足10%。

1、kaiyun官方 ▲谷歌发布Gemini 3.6 Flash、Gemini 3.5 Flash-Lite和Gemini 3.5 Flash Cyber（图源：X） 其中，Gemini 3.6 Flash面向编程、知识工作和多模态任务，在第三方评测机构Artificial Analysis的Intelligence Index（智力指数）中，其任务Token消耗量比3.5 Flash少17%，在DeepSWE测试中的输出Token消耗最多减少约65%。

此外，极豪科技通过剪枝、蒸馏和量化等技术，将模型算力需求降低超过1000倍的同时，基本保持算法精度不变，能更好地满足智能手机、智能眼镜和具身智能设备对算力、功耗及响应速度的要求。kaiyun官方市面上有很多产品管自己叫“AI家教”，可多半是一个语音助手加搜题：问什么答什么，直接给答案。

2、连续9场世界杯破门！卡卡谈梅西：这不是纪录，这是足球历史奇迹

从Marvis上线后的用户数据、端侧模型布局、手机与云端形态，到Skill生态、商业化规划以及应用商店未来形态，两位负责人回应了外界关注的多个问题，并披露了一批尚未公开的进展。

3、22.88亿对决！亚马尔2.92亿领跑，最贵阵超10亿，梅西无缘

李郁韬介绍，腾讯云的做法是在翻译模型之外，再用一个模型做“理解”和“修复”——判断翻译在具体场景下是否准确，不准确就直接修正。

4、阿根廷心态太稳了，图赫尔太苟了！这锅背定了，和纳格尔斯曼堪称卧龙凤雏

围绕具身智能机器人展开的多家核心供应链企业积极参展。

5、法国星探西亚德在家中身亡，死因待尸检确认；其名字在爱泼斯坦案文件中被提及近2000次

公司自己在一季报里也提到,未来可能面临产品研发和推广不及预期、原材料成本上升等经营波动风险,这不是套话,而是这门生意本身的结构性特征。

它眼下的热度更多来自具身智能，2025年3月发布人形机器人ATOM，从协作臂向人形机器人延伸。

1984年，经州政府核实，王全英失散红军身份得到确认，并获颁流落红军证明书。

6、场均20+10却续约僵局，年薪2.87亿恐成泡影？活塞高管揭杜伦真实现状

过去，人们提到AI编程，想到的往往是编辑器里的代码补全，或者IDE左侧的聊天窗口。

至于Marvis、吐司与应用宝会整合成怎样的产品形态，腾讯目前没有给出明确答案。

7、避开了沙特却碰上伊朗！U23国足主帅谈亚运会抽签：形势非常严峻

红星资本局注意到，7月16日，小鹏汽车曾通过官方社区发布公告，就旗下旗舰MPV车型小鹏X9空气弹簧在极端高温场景下出现的故障问题公开致歉，并推出专项质保升级方案，通过延长核心部件保修期限、保障随车权益等方式，回应近期集中出现的用户用车问题。

在中国的外汇管理制度下，QFLP机制允许符合条件的境外机构投资者将境外资金兑换成人民币，进而投资中国境内的私募股权和风险投资市场。

8、中甲保级队被足协追加扣6分，成中甲唯一负分球队，保级难上加难

在展台上，西部数据展示了两项业界首创的先进HDD创新技术：高带宽硬盘技术和双枢轴硬盘技术，以及HAMR（热辅助磁记录）、ePMR（能量辅助垂直磁记录）和UltraSMR技术，并展现了这些技术如何与其平台产品组合相辅相成，专为满足规模化AI基础设施的需求而打造。

如今，中国数学家首次在同一届国际数学家大会上同时获得两枚菲尔兹奖，这在国内激起了热烈反响。

多名用户在社交平台分享了对Inkling模型的实测反馈。

9、多家媒体评公羊最不可或缺十大球员：防守组包揽前三，进攻组一人力压群星

不过，目前没有公开证据证明胡塞武装的相关行动由伊朗直接指挥。

与此同时，Mind Lab今年7月开启商业化，仅用时两周，年化经常性收入（ARR）便突破千万美元量级。

10、双冠加冕！泸州运动员邹佳杰斩获省十五运会自行车两项女子个人冠军

清程极智联合创始人、赤兔推理引擎负责人唐适之在采访中举例： “当前国内绝大多数国产加速芯片硬件层面均不具备FP4、FP8低位宽浮点原生计算单元，而DeepSeek等主流新一代大模型原生采用FP4精度训练。

从工业能力到多元交互：鹿小明展示产业具身更多可能 展馆现场，AI迷你双足人形机器人”鹿小明”伴随着《太湖美》的旋律完成了一系列流畅自然的全身协调动作。

1、魔笛亲承：无缘欧冠反助我留队 米兰渴望绝地反弹

在存量竞争的当下，体育是少数几个能规模化撬动结构性增长的入口。

2、温网战报：张帅无缘决赛，高芙逆转晋级，大满贯出局

三、真实场景验证，GPU原生加速价值看得见 复杂企业知识问答：加速知识入库、检索与推理全链路，提升准确率 OfficeQA Pro包含近百年美国财政部公报的近万页宏观经济文档、2600万个数值、133项复杂企业文档推理任务和246个复杂问题。

3、太原公交发布调整通知

通过首创的HotSwarm与端云协同训练模式，RLinf V0.3可以支持真机设备1000+次在线上下线，训练0中断，并成功实现近百台真机规模专线需求降至2Gbps以下，大幅拉低具身智能规模化训练的成本门槛。搭载350 V8发动机的1935年福特五窗轿跑，匹配四速手动变速箱这一目标的实现，绝非仅靠个别天才的出现，而需要系统性、深层次变革。

4、米德尔塞克斯郡板球俱乐部CEO因员工投诉被解雇，独立小组裁定不当行为

这一变化带来了系统级提升。

5、英特尔预计将在中国大陆恢复第10、12、13和14代处理器的供应

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

6、来邵阳看演唱会！这些福利一定要领！

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

本次展区，昆仑芯通过真实客户案例与应用场景，围绕互联网、运营商、政企、终端及万卡集群等重点行业，集中展示了从核心技术突破到产业规模落地的实践成果。

WAIC，就是这场竞赛的第一次集体检阅。

7、涉及邵阳！湖南多条高速公路路段将调整限速标准

与会人员最后一致判定：陶某蓉绝非普通失联，该事件极有可能涉及刑事案件，而其丈夫黄某强有重大嫌疑。

期待的话，希望能在医学领域慢慢探索出一条适合自己的道路。

8、NHL最烂合同新榜出炉：33岁赫伯多5年5.25亿再登顶，两年进50球

被低估的则是“AI对社会运作方式的改变”。

在随后的通话中，他提到外卖站每天会从骑手的收入中抽走8元作“意外险”，不知遭遇车祸后是否可获得“意外险”赔付。

截至2026年7月上旬，其市值稳定在3000亿美元以上。

推动创新主体建设智能体开发平台和软件商店，一站式提供服务接口、能力编排工具与运行管理系统服务，实现智能体场景快速接入与规模化部署。