一个是天天和最前沿的模型打交道，一个是深度学习的奠基者，如今在研究怎么让机器验证数学。

1、ob体育 用户体验没变，但背后的账单差了几倍。

说白了，机器人在动手之前，先在脑子里把动作的后果预演一遍，这种「预见」在长时序任务里尤其关键： 传统VLA往往只能等错误发生后被动补救，而它能在行动前就主动规避风险。ob体育先说这套提示词给人的第一印象，就是非常长，大约700个英文字符。

2、邵阳市人民政府与三一集团签署产业倍增战略合作协议

第二，从“单打独斗”转向“生态共创”。

3、玩转阿勒泰丨盛夏禾木客流攀升 全域提质优服务擦亮阿勒泰文旅名片

《白皮书》以认知世界模型（CWM）为底座、以LAM（Learning Assessment-Modeling）闭环为范式，提出教育仿真器—规划器—渲染器为三位一体的工程架构。

4、布法罗比尔训练营开幕在即：7次训练，一票难求

具体： 真机强化学习算法： 仿真强化学习算法： 人在环学习： 新版全面打通数据采集 → SFT → RL → 真机部署的闭环链路，新增 3 种遥操作方式、3 款真机平台、2 款末端执行器，真机实操能力显著增强： 数据采集支持： 训练链路支持： 真机平台与末端支持： RLinf v0.3提升仿真强化学习的场景覆盖，新增 5 种仿真器，完善基于仿真器的训练示例与效果： RLinf v0.3在系统层面新增多项重磅组件： 性能优化方面，新增torch.compile加速、rollout与训练overlap、权重同步升级（broadcast/增量同步/分桶同步/仅同步可训练参数）、FSDP全offload支持，并修复了显存泄漏等关键问题。

5、惊天逆转！比利时让2追3加时125分钟点杀晋级 塞内加尔读秒出局

视频地址： https://mp.weixin.qq.com/s/_jcuBB-_32e6g5HzXWT74g 不同场景中的实际效果，还会受到信道状况、模型规模、设备算力和视频内容等因素影响。

但收购性投资，尤其是专门收购控制权的公司，比较难做高科技企业，为什么？ 第一，你把创业公司的控制权收了，它的价值可能就没了，你需要创始团队创造价值。

真实部署进展方面，原力灵机表示DW0.5已在内部跑通具身后训练闭环流程DFOL 2.0，开始承担数据生成、价值评估和策略迭代工作。

6、75岁还炒五胎？张纪中牡丹花下败光路人缘，武侠教父终成笑柄

融资可以为重工程购买时间，但真正决定路线能否成立的，仍然是系统能否交付。

这些能力能否迁移到物理世界的真实任务中，很大程度上还是取决于小机器人们在物理世界中攒到的经验。

7、正在公示！2026年湘超邵阳队球员名单来了

前几天我跟彭总说，今年一季度比去年盈利要多一点，想给公司6000来号人（员工与厂商导购总数）每人发100块钱，他问“以什么名义”？我其实之前没想好，就说“因为我们搬办公室了”。

他强调，真正的创新绝非单打独斗的技术攻坚，而是立足产业“地利”，整合上下游、资本、技术等内外资源，盘活存量优势，打破组织与行业边界。

8、国家出钱让你学医！四川省继续招收农村订单定向医学生

那些指数曲线其实是S曲线。

造机器人大脑，行业吵出了新共识 为什么是「人的视频」？这还要从具身智能领域吵了一年多的路线之争说起。

先来看世界模型的技术路线之争。

9、2038世界杯申办暗战：法国欲携手德国，轮换规则成最大障碍

复旦大学科技伦理与人类未来研究院青年副研究员朱林蕃还提到，当前AI治理普遍面临“一管就死、一放就乱”的困境，需要技术、政策、伦理和国际合作共同寻找更细致的解决方案。

文远知行利用同一套技术架构，研发、测试、验证到商业化落地，并搭建了全流程工程体系，不同国家持续完成道路验证。

10、梅扬克：心理强度至关重要，伤停21个月复出首球即夺命

据报道，字节接下来的发力重点是世界模型、视频模型、Coding和办公场景的商业化。

之后，进入S0运控层。

1、1973年本田CB350F无保留价拍卖，刚完成整车大翻新

双方真正想探索的是一套工业具身智能标准产品。

2、耻辱出局！2 亿巨星世界杯现形！全场隐身坑惨法国

△AI生成 值得一提的是，这套围绕真实数据持续运转的具身智能数据采集的飞轮，也已经跑出了最新进展—— 当前京东已经发动60万人参与数据采集，建设了全球最大具身数据采集中心，预计2年内采集1000万小时人类真实数据。

3、佩德里将在7月25日官宣亮相苏超！直接跟球迷互动，却被辟谣

为什么苏度很早就选择了以仿真为主？ 韩铮：尝试各种数据源并不断调整配比，符合直觉，也容易在短期内看到效果。意外！毛伟杰为何会在本轮大连中超赛前突然泪奔？原因让球迷动容换算成商业指标，这套系统组合让单位成本的Token产出，提升了2.5倍。

4、仅7.8万公里1999款三菱EVO VI GSR现身加州 2025年刚完成全面整备

（不是我说，这是真省Token啊……） 甚至，在「安全」这件事上，Qoder 1.0还把防线拉到了Agent运行的整个过程—— 任务开始前，由企业策略划定边界；任务执行中，通过安全运行时识别和拦截风险；任务完成后，再由审计治理系统留下完整记录。

5、曼联天降大鱼！切尔西世界级天才主动来投！全能妖星或空降梦剧场

怎么让生成结果既贴合目标视角，又和原视频长得一模一样？ UniWorld-View的答案是“双流条件注入” 一个管构图，一个管上色，分工明确。

6、麦克风没关！加拿大总理与特朗普私聊中国电动车，意外对全球公开

单个adapter在AIME24上准确率：36.44%。

那一年，刚刚冲顶利润新高的永辉超市突然转入巨额亏损，连续5年扭亏未果；曾经的“西南超市王”步步高也在2022年第二季度开始，掉入了连续七个季度的亏损周期。

当然，钱的问题也绕不开。

7、长鹰硬科，上市首日大涨_网易订阅

光轮智能的人类数据解决方案EgoSuite，能够在生产规模上提供三维手部、三维全身姿态和帧级语义标注，并强调在遮挡和近距离物体交互情况下维持稳定追踪。

这也说明一个问题，模型本身已经卷不出太大差别了，真正的差距在上层的loop编排 说到这儿，咱们直接看看“Claude Code之父”Boris Cherny每天怎么工作的就全明白了。

8、王义平任临县人民检察院党组书记

把L2++比作1500米中长跑——需要爆发力、量产能力和成本控制。

所有“看起来不错”的代码，在独立验收器面前大概率能挑出一堆毛病。

摄影：梁宵 摄影：梁宵 “为什么世纪隆学得好，因为很多超市都是一个人去学，人家是两口子一起学。

One More Thing 颁奖现场还有个小彩蛋。