此外，极豪科技通过剪枝、蒸馏和量化等技术，将模型算力需求降低超过1000倍的同时，基本保持算法精度不变，能更好地满足智能手机、智能眼镜和具身智能设备对算力、功耗及响应速度的要求。

1、乐鱼体育 按归属来看，腾讯系上榜产品包括WorkBuddy、CodeBuddy、QClaw、Marvis四款，合计流量3262万，占了整个大盘的一半以上；字节上榜的是TRAE IDE（国内版）和扣子，合计约1441万；阿里系为QoderWork和悟空，合计约919万，是三家里最低的。

在一项测试中，Inkling根据用户反馈持续优化一款多人在线贪吃蛇游戏，经过40轮迭代后，最终生成了包含实时服务器、AI Bot和排行榜等功能的完整游戏。乐鱼体育满足这个特性的不止RL，蒸馏本身、Self Correction都满足。

2、《报告》：“世界模型”具有六大工业化价值

可孩子在班里的排名还是20名开外：“这刚到三年级，报课买书的钱少说也扔进去小10万块了，你说有用吗？我也不知道。

3、火箭大胜湖人 挽救了一个赛点 乌度卡做了哪些调整效果显著

▲现场展示的成都工业发展成果模型 立园满园成效显著，构建起“3+22+N”园区布局体系。

4、荣耀新Logo撞脸王者荣耀

能源部已与白宫和国务院密切协调了谈判及这些协议的公布工作，任何与此相反的说法都是错误的。

5、安德列娃，带着教练的梦想在巴黎捧杯

Q9：今年腾讯云企业智能体业务增长如何？ 吴运声称，今年腾讯云企业智能体相关客户需求和ADP平台使用量同比至少翻倍。

聆思科技市场副总裁韩超阳在WAIC 2026期间提到，当下端侧大模型AI推理的最大瓶颈在于，市面上专为大模型推理算法原生设计的端侧AI芯片仍然稀缺。

基于Kimi K3，Kimi Work推出了“小组件”和“看板”功能。

6、突发，字母哥关注，可惜了！2届全明星后卫啊……

三种现象叠加，结果就是榜单“第一”严重通货膨胀。

过去两年，腾讯真正缺的，是一套能够稳定造出模型、让模型进入产品，再让产品反馈推动模型继续进化的方法。

7、肖霖昂，在不一样的路上追逐同样的风景

算力基建的相关政策重点，从“建得多”转向“连得通、调得动、用得好、管得住”。

此芯科技是一家专门打造高性能智能体CPU的公司，这和今天大会主题非常贴近。

8、曝尽管对其未来传闻不断 但海佐尼亚下一站仍将加盟NBA球队

这些资源禀赋，赋予我们在数据端、设备端、模型端，与全球一万六千多家医院合作伙伴深度合作共创的能力。

曾是坚定仿真派的银河通用，同样发布了全身遥操作系统。

强脑科技走的是“消费+医疗”双线路线。

9、西班牙绝杀夺冠，我们告别了足坛最伟大的20年

支持具备条件的地区围绕智能家居、智能机器人等新兴产品，设立线下集展示体验为一体的销售场所。

过去隐藏在机械结构内部的物理信息，成为了可以被机器人学习和理解的数据。

10、茉莉奶白案后再状告国家知识产权局，LV的真实目的是什么？

事后，RoboArena补了规则：评测者必须是无利益关联的第三方，堵住自刷账号的入口，评测完成率低于20%的账号标为可疑，堵住选择性匹配。

中共中央总书记、国家主席、中央军委主席习近平近日对基础教育工作作出重要指示指出，党的十八大以来，党中央把基础教育作为基础性、先导性工作来抓，多措并举推动基础教育实现长足发展，为建设教育强国提供了有力支撑。

1、唐山高炉将执行限产 钢厂盈利率跌破35%

但去中心化的逻辑是反过来的：每接入一台新设备，不是给系统增加负担，而是增加了一个新的AI入口。

2、北京文旅 × Keep 官宣联手！2026从一条绿道开始

” 还有网友将K3的发布比作另一个“DeepSeek R1时刻”。

3、今天的“基列国”发生了什么？

7月14日，公司发布上半年业绩预告：预计营收3亿至3.3亿元，归母净亏损9000万至1.2亿元，扣非净亏损1.4亿至1.7亿元，剔除后经调整亏损3500万至6500万元。德容：在世界杯期间我膝盖受伤，医生说比赛不会导致伤情恶化” 认亲团圆现场 妹妹送上同款衣服 哽咽着说“我们终于能穿同款了” 申朵从小生活在河北，她介绍，家里有个哥哥，养父母和哥哥一直宠她，自己没有受过任何委屈，也从来不知道自己有个双胞胎妹妹。

4、破局！文旅跨界布局物业：岭南控股收购广电城服对冲周期

这个判断意味着，在今年，世界模型的道路或许会逐渐收束，数据、训练的难题也会被逐一攻破。

5、阿根廷卫冕梦碎！西班牙1球封王摘第二冠，加时进球被吹难挡绝杀，费兰拯救球队，恩佐染红赛后冲突爆发

面对76场分出胜负的比赛，AI阵营整体实现了高达81.0%的胜负命中率，但在24场平局比赛中，AI预测准确率只有17.0%。

6、2026新余仙女湖马拉松报名正式开启

▲民警将追回的现金发还被骗老人 7月13日，伍隍、丰裕派出所民警逐一上门，将追回的全部被骗现金返还给被骗老人，并提醒老人加强防范类似骗局。

此次WAIC期间，阿福有两项进展极具指标意义。

传统软件开发是线性的：需求→设计→开发→测试→上线。

7、崛起在望？字母哥之后，热火引援仍未结束，四大全明星成潜在目标

不过热闹之下，行业仍处在早期：大脑架构未定、训练机器人的数据从哪儿来还是难题。

如果说数据是“大脑的食物”，那灵巧手就是“大脑的手”，末端不够灵活，再好的模型也发挥不出作用。

8、詹皇下家！名记曝内幕：欧文或浓眉？还在等大鱼？

同赛道里，榜单前列基本被大厂包圆。

Step 4大模型今年下半年发布，可能还会有Step 4 Pro，在大模型基础的智能上限，包括long context和RSI上，都会有不错的表现。

某种程度上，IDC之所以认为DAA是智能经济时代的新标尺，正是因为它同时回答了行业最焦虑的两个问题：AI投入如何被衡量，智能体价值如何被证明。

图源 / 宋涛公布的《关于越疆合伙变更的说明函》 方案没有完整落地。