▲Inkling的异步学习优化（图源：Thinking Machines Lab） 此外，Inkling还引入了“可控思考努力程度”（Controllable Thinking Effort）。

1、人人体育 我期望未来这几年看到大量的女学者的产生，成为中国数学舞台上的领导者。

通过首创的HotSwarm与端云协同训练模式，RLinf V0.3可以支持真机设备1000+次在线上下线，训练0中断，并成功实现近百台真机规模专线需求降至2Gbps以下，大幅拉低具身智能规模化训练的成本门槛。人人体育据业务相关负责人向智东西介绍，此次展出的“文搜”系列产品，正是对传统视频检索模式的一次颠覆性革新。

2、雄鹿4年6400万签特伦特引热议

成贵高铁、成自宜高铁、成雅铁路统一设置10次90天、20次90天计次票，以及10至60次分档选择的30天定期票。

3、2500万常住人口的超大城市，如何“把最好的资源留给人民”？

这个行业正处在高速增长中，艾媒咨询发布的《2026年中国AI办公智能体产业发展白皮书》显示，2025年中国AI智能体市场规模已达804亿元，同比增长123.2%，预计2030年将达6968亿元。

4、38岁冠军中锋留队！今夏唯一签约，胖虎要哭了...

据The Information报道，Mercor预测其客户在基础模型公司中的集中度将在未来五年内逐渐下降，因为他们将向更多AI初创公司（包括需要评估定制模型的应用开发者）以及AI领域之外的大型企业销售评估和训练服务。

5、央视点名、王毅会晤、菲律宾终于知错，但留给马科斯的时间不多了

跨端也是Marvis区别于单一系统厂商智能体的一项能力。

从芯片到万卡异构集群再到软件栈，云天励飞的AI推理基础设施蓝图已然成型。

此次发布会上，奇门动力没有发布新的视频模型，而是将重点放在影视工业流程的重构。

6、凌晨12点！CCTV5直播西班牙“生死战”，亚洲第8欲效仿阿森纳队

在平台层面，Mistral Medium 3.5和Mistral OCR 4已经接入Microsoft Foundry。

李应涛认为字节的基因始终是靠技术驱动产品迭代，虽然这让它在模型迭代速度和编码场景切入上占优，但将“编程心智”迁移到“办公场景”，遇到的不只是TRAE Work产品体验一般这个具体问题，更底层的，是飞书生态本身的体量天花板——目前仍不及企业微信和钉钉，这也是字节劣势之一。

7、梅西的谢幕与FIFA的算盘：足球到底为谁而踢？

吴运声将乐享定位为面向智能体的企业知识服务产品。

此外，北京还提出了力争到2028年推出100个高水平工业智能体的目标。

8、中国女排不敌意大利，结束世界联赛分站赛阶段静待总决赛

但不同终端，对AI提出的要求并不相同。

先说模型。

程序员同样会有查找照片、管理电脑和处理文件的需求，用户会根据具体任务选择不同工具。

9、这都赢不了，中国女排不敌倒数第三，赛后诞生三个意想不到

而Agent基于大模型运行，输出具有概率性，同样输入不一定能产生相同输出，昨天通过测试，不意味着今天依然稳定。

但相较传统预训练，强化学习“多角色协同”的特性使其对硬件的种类需求更加复杂，规模量级也更加庞大，基于异构和超大算力规模的双重刚需，跨集群强化学习因此成为智能规模化及持续进化的新锚点，这也是无问芯穹Agentic Infra自主式基础设施平台重点布局与攻克的核心场景。

10、季后赛G1打完 火箭是输分最少的球队 乌度卡有哪些问题值得讨伐

个性化AI方面，即时简报功能可以智能聚合各类资讯，让我们更轻松地处理日常事务。

面壁智能将具身智能模型和多模态模型底层数据打通，同时也会有各种类型的具身智能数据。

1、公牛三方交易得篮网中锋克拉克斯顿

二是查询空域。

2、花1亿改造的文物级酒店，还是把自己玩倒闭了

▲资料图 据图虫创意 据悉，《关于办理内幕交易、泄露内幕信息刑事案件具体应用法律若干问题的解释》（以下简称《解释》）自2012年6月1日施行以来，对惩治内幕交易、泄露内幕信息犯罪发挥积极作用。

3、禁赛三年！知名少帅重蹈李楠覆辙 被利益熏昏头脑他本有大好前程

智东西 编译 茄子 编辑 程茜 智东西7月17日报道，今日，Kimi正式发布其迄今能力最强、全球首个开源的3万亿参数级别模型Kimi K3。马刺94-82完胜爵士！榜眼秀尴尬，42号秀立大功，韩国天才22+5+2对于智能体来说，后者显然更高效，也更容易形成稳定的自动化流程。

4、西班牙2-1绝杀挺进4强！听听赛后媒体人怎么说 詹俊说得一针见血

第二，这次发布的重头戏是Step AOS，终端是为它服务的。

5、涉嫌严重违纪违法，贵州习酒总经理助理谢远东主动投案

马化腾曾用“漏水的船”形容腾讯在AI浪潮中的处境，看似已经上船，却还没有坐稳。

6、利物浦19岁中卫纳洛租借加盟HJK赫尔辛基 一线队首秀仅4分钟就被罚下

从目前泄露的跑分来看，K3在编程能力上优于Opus 4.8和GPT-5.5，这个成绩放在国产模型里已经相当能打了。

进入7月以来，SpaceX股价一路下探，到财报发布前后已较6月末跌去约三成。

与一次提示、一次响应的大语言模型应用不同，AI Agents会围绕目标持续执行“推理—行动—观察—修正”的多轮循环，反复访问数据、检索知识、调用工具并更新任务状态。

7、减脂党必看｜Keep新品7款口味低卡鸡胸肉测评！

7月16日凌晨，月之暗面官方在X平台放出了一段36秒的预热短片。

▲工信部NVDB发布的公告（图源：网络安全威胁和漏洞信息共享平台NVDB） 从版本线看，此次受影响范围覆盖Claude Code 2.1.91至2.1.196。

8、一声叹息，林诗栋、温瑞博都止步萨格勒布16强，都输得很不服气

四、AI没有淘汰文科，而是在重新定义文科价值 1、AI+文科岗位快速增长，打开新职业空间 AI正在改变的不只是技术岗位，也正在重塑文科人才的职业路径。

五、智能体从问答窗口进入金融业务流程 平台能力能否产生价值，最终仍要看智能体能否进入业务流程。

”刘先生说。

▲出门问问AI录音终端 3、智能家居AIoT 面向家庭场景，小度发布“家庭智能体中枢”战略，支撑超能小度智能体化升级，能够自主拆解目标、统筹调度工具、闭环交付任务。