仅仅90分钟。

1、欧宝首页 这已经不是一场行业展会，而是真正的国家级AI盛会。

人们在晨光中起床，憧憬着对岸的新生活，计划着美好的未来。欧宝首页关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。

2、德转官宣！留洋比利时的21岁锋霸已加盟成都蓉城，曾效力鲁能

一个支持团队的「完成」，是客户问题被解决；工程团队的「完成」，是代码改动通过测试；法务团队的「完成」，是合同审完且没出错。

3、谁说岁月催人老 球王返场戴帽闪耀

近日，来自华中科技大学的李钦宾研究团队在ICML 2026 Position Paper Track提出了一种新的解决思路：不是让大语言模型替代人类审稿，而是利用LLM对「评语—分数」之间的映射关系进行校准。

4、费城半导体指数跌2%

持续抓握十分钟，表面最高温度不超过人类体温。

5、中国男篮热身赛！全力击败澳大利亚，郭士强打造双塔，央视直播

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

智能大于形态 机器人不会只有一种身体 全行业都在问：具身智能的终极形态是什么？很多人回答「人形机器人」。

这不是数学能力问题，是agent能力问题。

6、火箭对阵鹈鹕前瞻 两支锋线大队正面较量 空间将能左右比赛的走势

说这话的，是Thomas Bloom。

KSTAR可以理解为： Know What：当前知道什么； So What：这些知识对于当前情境意味着什么； Then What / Task What：需要完成什么任务； Act What：应该采取什么行动； Result What：产生了什么结果； Learn What：根据结果应该学到什么。

7、后悔也没用！明抢中企钢厂后，英国又遇麻烦，财政危机只是开胃菜

正因为模型不仅能生成，还看得懂自己生成出来的东西，它才能不停地反思。

一年之后，一个人面对的将是一张智能体的组织架构图，自己坐在最顶端那个格子里。

8、俄被逼到墙角，一波发射40枚导弹，日韩收到警告，中方发出劝告

这样的app它一口气造了5个，成本只有Fable 5的零头。

对于整个行业来说，这或许是一件好事。

当时，Anthropic拒绝了这一霸王条款，结果遭到「切断供应链」的威胁。

9、世界杯历史射手王？姆巴佩：我宁愿进决赛

不同于常规产品发布，本次沙龙聚焦机器人如何跨越从技术演示到真实交付的产业门槛。

许多老派工程师信奉「所有重要代码都应人工编写」。

10、周鹏可能重回广东队，本人回应；北京首钢确定续约陈盈骏

谷歌并不孤独。

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

1、CBA各队净利润被曝光！广东男篮盈利稳居榜首，这三家亏损的不忍直视

面壁智能、智谱等纷纷布局具身智能，是行业趋势。

2、四年顶薪还是两年顶薪？高诗岩与山东男篮出现分歧，续约前景不明

走到这座教堂的最前沿本身就极耗力气，而大模型已经能以超人的效率做到这件事，最近的突破基本都源于此。

3、京彩瞬间

纳德拉实际上承认了一个非常关键的事实： 企业不能只拥有AI的使用权，企业必须拥有AI使用过程中形成的学习资产。OpenAI、Anthropic背后的AI“数据工厂”，被曝上半年营收41.6亿，超过去年全年在多项信息图生成基准中，SenseNova U1展现出降维打击般的实力：生成质量全面领跑开源阵营，更在推理速度上实现了绝对的效率压制。

4、AC米兰官方：莫德里奇续约 合同至2027年6月30日

原因很简单：在所有已被验证的高价值场景里，编程跑得最快。

5、这家银行逆势扩容助贷合作名单，与美团合作方式从被推荐客户变更为共同出资

商汤在三个不同厂牌的国产芯片上做定向优化，单卡MFU（可以理解为「有效利用率」）相比原厂出厂表现平均提升约一倍，最高的一款提升了152%。

6、火箭不敌湖人 火箭的进攻极端便秘 问题到底出在哪里

基础设施层面，原力灵机的布局同样凶悍： Dexbotic：全球第二、国内唯一的通用具身智能框架，已服务清华、北大、普林斯顿、帝国理工等知名院校，以及阿里、腾讯、北京人形机器人创新中心等领先机构，覆盖超千位研发者； RoboChallenge：与Hugging Face联合发起的全球最大规模具身智能真机评测平台，吸引智元、星海图、星动纪元等近20家具身智能企业联合运营，累计服务全球超7万次真机测试，阿里千问、小米、千寻智能等均参与其中。

能力尽可能往旗舰上靠，但推理成本和服务器开销，得狠狠压下来。

一台人形机器人正手握球拍，跟真人站在球桌两端对打。

7、卡尔23分瓦格勒16+6 湖人轻取快船

因为进程可能恰好在写进度写到一半时崩掉，留下半截烂数据。

OpenAI总裁Greg Brockman转发了这条推文，说了一句： 感觉这是推进数学的一个分水岭时刻。

8、香港电影界传奇人物施南生去世，一生丁克无子，临终前细节曝光

结果，令人咋舌—— 仅仅30天，Meta员工烧掉了60多万亿个Token，榜一单人刷了2810亿，连小扎都没挤进前250。

他做过各种零工，最广为人知的是在赛百味快餐店打工七年。

64个智能体中，有一部分专门扮演「杠精」。

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