邓煜与王虹，从此改写中国数学史── 有史以来，中国数学家首次在同一届中同时夺得两枚菲尔兹奖牌。

1、bsport 现在朋友找我交流，有些是听不进去这些的，因为他觉得还有别的选择，但后来我也发现，一些嘴上说不相信的人，其实也在悄悄改。

问题在于成本和ROI：纯音频两个人就能做，视频的成本则要翻好几番，打光、机位、字幕、妆造全要上。bsport7月19日，WAIC 2026期间，在由商汤科技大装置事业群主办的「算创·无限-Agentic时代AI基础设施创新发展论坛」上，商汤大装置与国信数算（上海）科技有限公司（以下简称“国信数算”）签署战略合作协议，商汤科技联合创始人、大装置事业群总裁杨帆与国信数算董事长陈卫国代表双方签约。

2、外媒称特朗普称中美领导人将就人工智能问题交换意见，中方：愿同美方一道在人工智能领域落实好两国元首的重要共识

我们问原力灵机，关于世界模型在具身智能领域的运用，还有哪些其他想法？ 得到的答案是这样的—— 随着视觉模型能力的不断提升，现场人员可以借助Ego相机采集操作数据，减少对专业真机采集和复杂后训练团队的依赖，降低现场后训练的门槛。

3、工信部同日赴埃安、小鹏开展监督检查

这里包含两个很实用的prompt原则。

4、刚刚，国足官方发表声明！事关女足主帅

美国天然气库存用的是EIA 7月9日刚发布的最新一期，欧洲电价甚至追到了7月12日的日前交割价。

5、WNBA全明星周末赛程公布：第30季库珀韦瑟斯庞任荣誉经理，6人争三分王

“本体就是用程序语言和数学的表征，描述物理世界的机理。

硅谷也同样呈现出“大爆发”与“硬着陆”同在的现象。

2024年，曾背着19亿元亏损的步步高，调改不到一年，就实现了扭亏，并且在2025年摘掉了ST的帽子；2026年一季度，步步高营收13.12亿元，同比增长13.74%；归母净利润1.16亿元，超去年全年数字。

6、UFC传奇主持隔空喊话NFL：下一届超级碗就在我家门口，让我开场

组织变阵：“让决策更快” 外部的市场变化，也催化了百度组织的剧烈重组。

第二道墙 为了作弊，模型自己钻出了沙盒 破解数学难题让人兴奋，下面这件，却让人后背发凉。

7、1992年大众高尔夫GTI 16V无底价拍卖，所得全捐给儿童之家

他们回溯分析发现，如果之前每次改动都有这道自动审查，大约三分之一导致claude.ai线上事故的bug，上线之前就会被拦下来。

同样值得关注的，还有文远知行L2++出海的模式。

8、今日重要赛事！7月17日，CCTV5、CCTV5+直播节目表

基于这个判断，SWM选择了四层异构数据协同训练的路径—— 每一层针对不同类型的“理解人”子任务，使用不同数据源、不同建模目标、不同验证机制，推理时四层联合打分。

而这种差异，很快就体现在了他俩接下来的发言里。

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

9、维拉敲定加纳乔转会 租借+条件买断满足切尔西4260万英镑要价

最后是无需绑定框架平台 SAIL已经全面适配PyTorch、TensorFlow、vLLM、SGLang等260余个主流训练与推理框架，工具链也支持按需灵活选用，不绑定任何特定技术路线。

机器人的行为数据要从零开始积累，现阶段的行业共识是，通用具身模型至少需要千万小时级的高质量交互数据，甚至上亿小时。

10、拳击免战夺牌，保龄球首秀掀翻世界冠军

具身智能、世界模型、AI Coding、Token经济、AI硬件……过去一年最火的技术概念，今年几乎全都被搬到了现场。

比如只说“跟着穿黑衣服的人”，现场又恰好有多个穿着相近的人，模型需要结合画面理解人类到底指的是谁。

1、夏窗首签！罗马诺：曼城1.16亿镑抢下安德森 球员要求俱乐部放行

她还透露，近一个月来，陈华和她分别去了广东、浙江、湖南、甘肃、四川等市场进行调研，与当地渠道合作伙伴进行了深入研讨交流，“合作伙伴们都对本轮市场化改革很有信心，也对当前取得的成效比较认可，对自己在改革中的定位和任务也很认同。

2、破解梅西的蓝本：西班牙1比0力克阿根廷 二度加冕世界杯

再往外，乐聚和吉利的合作开始把模型、本体、导航和具体业务流程接起来。

3、15连胜追平80年前神迹 红袜6比3击退金莺创21年来MLB最长纪录

目前发布的Grok 4.5，还没有使用xAI内部针对GB300硬件深度优化的C/C++推理软件。红豆集团攻坚发展先锋朱凤丹：聚焦新品研发强根基，助力海外市场拓新局与不少模型主要围绕数学、代码等单项能力训练不同，Grok 4.5将强化学习扩展到了数十万个真实的软件工程和知识工作任务 模型需要完成多步推理、调用工具、从错误中恢复并验证结果，更接近Agent在真实环境中的工作方式。

4、英格兰天才彻底陨落！巴萨传奇曾断言他能接班梅西，如今无球可踢

△图片由AI生成 有意思的是，英伟达其实也踩过前一个坑。

5、谷歌被罚8.9亿欧元

团队表示，DW0.5有四类数据源： 这是DW0.5从“视频世界模型”走向“训练环境”的关键一步。

6、41岁的C罗虽老，但依然在葡萄牙作用明显

背后甚至专门立了一块大屏幕，实时统计这四个“打工人”的干活KPI。

具身智能行业，正在走到一个关键分叉口。

无论原始数据来自眼镜、手机、头戴相机还是其他多模态设备，都需要经过云端统一的处理和质量控制，才能进入同一个训练体系。

7、40年岁月仅行驶4万英里 这台银箭SL500 V8跑车加州无底价上拍

其实，这个测试，是我们自己「搓」出来的！ 从动念到发布，全程只需三步。

它锚定的是实体经济的真实刚需。

8、“十五五”开局之年的全国两会，对体育有哪些新指引？

所以一个是企业的能力优势，一个是核心消费者的能力诉求，企业调改的方向就在这两个答案的交叉口。

它伸手探进去，指尖先扶住箱沿稳住重心，抓到手后左右倒了两次手，才端正地放进料格。

Level A关注符号能否准确传输，Level B关注语义能否正确表达，Level C则关注接收到的信息能否帮助目标完成任务。

一个机器人在训练场里学会了搬箱子，精度、成功率都拉满。