PolicyTrim引入step-saving reward：成功轨迹用越少步骤完成任务，奖励越高。

1、高比体育 就像牛和狗一样，真实地在这个地球上存在过。

新智元报道 【新智元导读】交互式视频世界模型正在从「一次性生成短片」走向「像游戏一样边操作边生成」。高比体育这一层覆盖的是L1静态分析没拦住的中等复杂度问题，比如跨函数的数据流污染，以及SQL 注入、远程命令执行、敏感信息泄露这类需要理解语义才能识别的风险。

2、唐静：前夫和秦海璐结婚后，独自陪儿子长大，如今选择让人泪目

他们为什么要把自己的模型免费塞给老师，这对教室里的老师和孩子们，到底意味着什么？ 老师的一周 是被什么吃掉的？ 一位美国K-12公立老师的一周要干多少活？平均49小时。

3、建议大家：这5个设计，装着贵一点，住着爽10年，真不用节省

镜头里，一位戴着头巾的金发女子笑靥如花，身边围着一群非洲孩子，每人手里举着一根棒棒糖。

4、演员金泽去世年仅33岁，业内人士曝死因，好友证实发文悼念

Axios 还将「Alpha」定义为企业区别于市场的知识，将「主权 AI」定义为企业对模型和连接专有知识的应用层保持控制。

5、知名主持人敬一丹被传离世，知情人曝最新状况：脑出血还在抢救中

特斯拉直接将自动驾驶FSD的底层架构复用至Optimus机器人，试图通过「端到端」神经网络，实现从视觉输入到动作控制的映射，如今已经在工厂执行电池分拣。

从联合国到75岁英国老奶奶，1.5亿人把想象力变成现实 这一点在爱诗的全球化布局上体现得最明显。

这在设计圈是一件近乎「叛逆」的事。

6、《漫威金刚狼》琴葛蕾亮相被狂喷！玩家反怼:你是gay_网易订阅

对开发者来说，这意味着终于可以放心把一个完整issue、一整段工作流交出去跑通，而不必再当AI的保姆。

原生统一架构NEO-unify 为了够到这个标准，U1 Pro采用的是一套自研的理解生成统一架构——NEO-unify。

7、珠海半导体老兵组队，探路太空光伏电池

算得清、接得快、管得住——这是企业AI下半场的入场券，也正是「星火Token Factory」想替企业拿到的东西。

当喧嚣褪去，人们才会真正思考AI的价值何在。

8、世嘉在北京开设第二家中国常驻官方门店

Karp认为，当前大模型产业存在两个严重问题。

Kimi K3：381分钟，四轮，满分。

AtomWorld的结果提示，Scaling Law在原子操作任务上并不能被简单理解为「模型越大，能力越强」。

9、老黄埔生态新房怎么选？近龙头山森林公园，这份测评榜单请收好

两个AI巨头，一个连轴转堵窟窿，一个嫌自己涨太快。

清华大学计算机副研究员苏航，聚焦可恢复性——真正的智能不是不犯错，是知道怎么改回来。

10、被宝妈们的野路子惊呆了！这些东西不按套路出牌，比原设计还好用

这可能比传统意义上的模型准确率或单次任务效率，更能够衡量企业 AI 转型的长期价值。

闭源并不自动等于安全。

1、省钱预警！谁说好东西一定贵？铂耐/安吉尔/方太…现在下手太划算！

新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

2、告别尾盘大幅异动！ETF交易新规落地首周，机构大额调仓更顺畅

瑜伽教练、大厨、陪练，甚至适配机器人操作的预制菜套装——一整个生态围绕这台机器人展开。

3、重磅预热！两日连唱！7月24-25日@中卫沙海星空合唱，无人机光影秀点亮大漠夜空

真是活久见啊。科普｜走出青少年抑郁误区，别错过假期的治愈“黄金期”一个支持团队的「完成」，是客户问题被解决；工程团队的「完成」，是代码改动通过测试；法务团队的「完成」，是合同审完且没出错。

4、布云朝克特2-1逆转击败美国选手史密斯 晋级四强

图1：交互式视频世界模型的推理瓶颈。

5、曼联官宣奥纳纳离队，谈判免费签一人替代！续约户口本继续做陪练

可当所有智能都跑在云端的数据中心里，AI基础设施就真的到头了吗？ 无问芯穹的答案是没有。

6、3-3！世界杯奇迹之战：两队携手出线 伊朗被玩死 压哨出局

主要就是，共同构建覆盖「算力基础—平台工具—模型能力—科研创新」的一体化科研服务体系，为生命科学、新材料、智能制造等重点领域提供高效、开放的AI科研支撑。

而Qoder团队怎么做到的「兼容并包」？他们做对了什么？ 背后，是整个技术范式的升级，直接把代码安全从「静态扫描」推向「主动式安全」。

灵巧手KAI Hand和数采头环KAI Halo Lite已在WAIC全球同步开售，都是刚需件，能独立变现。

7、默多克95岁寿宴，邓文迪带两女儿坐主桌！20年布局继承千亿资产

AI带来的技术普惠，让爱好者们可以充分发挥创意。

不是先做国内再出海，而是从Day 1全球化，现在已经覆盖177个国家和地区的用户，产品、运营、增长都在做全球化能力的搭建。

8、重塑全球酒业评价标尺，《世界酒庄影响力指数》即将发布

通往AGI之路上，比拼的不再是谁的长板更长，而是谁的系统能转得更稳、迭代得更快。

就在立川裕二利用Fable 5帮他解决弦论难题的同时，斯坦福大学的遗传学家、心脏病专家Euan Ashley，让Claude解读自己的基因组，结果AI用了30分钟就做完了。

然而，当模型规模扩大到一定程度时，单纯堆砌算力和数据的「暴力美学」开始失效。

就跟去年我们还在推 Vibe Coding，今年不用推了，所有研发都用 Claude。