但对「最后一公里究竟该怎么走」，各有绝招。

1、高比体育 文本润色、信息摘要、AI 消除，响应几乎没有等待感。

关键问题：能否在不牺牲任务成功率的前提下，通过后训练，让已有VLA策略自动学会「少走弯路」，用更少物理步骤完成任务？ 来自四川大学雷印杰教授领导的团队提出了PolicyTrim——一个面向「策略效率」的两阶段强化学习后训练框架。高比体育工程师、AI研究员和高管们深感挫败，他们越来越担心，谷歌正在失去原本就不厚的护城河。

2、报价7000万欧元！巴萨与戈登达全面协议！希望尽快完成转会

另一派是实战派，代表是名为old-bielefelder的用户。

3、哈铁增开多趟列车保障暑期运力

ChatGPT什么都能生成，可是你写过的稿、讨论过的代码、生成过的图、囤过的资料，随着对话越堆越多，「翻记录」越来越像大海捞针，侧边栏拉到手酸，也未必找得到三周前那次关键讨论。

4、应城这一案例，获全国一等奖！

按照原定计划，Anthropic准备对其进行一波下架或限流操作，以维持其高溢价和算力平衡。

5、世界杯决赛规则，又变了

这意味着，今天在四足狗上验证的经验，明天可以直接迁移到双足人形上，而不需要推倒重来。

Anthropic赌OS级深度。

这套终极公式拆开就四样：结果、约束、证据、验收。

6、湘乡绿茵场，盛开民族团结“石榴花”——写在《中华人民共和国民族团结进步促进法》施行之日

Bun之父 让AI重写百万行代码 当年，Jarred Sumner押注Zig的逻辑很纯粹：用极致的简洁，榨取媲美C语言的性能。

图2：Light Interaction总体框架。

7、在肯尼亚，8月1日这个节日越来越火：他们用鲜花和手写信悄悄宠女友

这是Claude Code之父Boris Cherny，前段时间在一场面向开发者的公开对谈上亲口说的。

它的作用，是横在业务和大模型之间的「统一中间层」。

8、看似奇奇怪怪的生活方式，其实会让你变得特别特别特别高能量

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

研究团队先做了一次「翻译」，把Claw类智能体的每个部件对应到电脑系统里的老熟人，再看这些老熟人在系统安全里配备了什么防护，就能反推出智能体缺了哪一环： 公共市场上的技能，对应软件仓库，缺的是代码签名、审核与沙箱； 大模型的上下文窗口，对应进程地址空间，缺的是不同信任来源之间的隔离； 以明文保存的记忆文件，对应文件系统，缺的是访问控制与完整性校验；进程内插件，对应可动态加载的内核扩展，缺的是签名与权限隔离； 连接邮箱、Slack的通道，对应进程间通信，缺的是带认证的通信；网关日志，对应审计子系统，缺的是脱敏、访问控制与防篡改。

回头看这届世界杯，其实就是这套循环的一次公开路演。

9、聚焦｜北京卫星产业生态发展大会在京举行

想查生产环境这24小时最常见的报错？接上Sentry，直接问就行。

检查越能量化，它越能自己判断做没做对，你要盯的地方就越少。

10、这3位县委书记：同一天公示提拔，同一天官宣落马！

熟手两轮提示词就能拿到一份可用的洞察报告。

首轮测试已出 如今，DeepSeek V4（GA）首轮测试demo，已经开始外流。

1、上海大歌剧院官方小程序上线，《托斯卡》《阿依达》等首轮演出预约通道已开启

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

2、14岁体育特长生文成大花腿，家长索赔20万元，店主称“个子高，师傅疏忽没核实年龄”，各方如何担责？律师解读

在PixVerse的全球社区里，有75岁的英国老人制作出了属于自己的「人生影片」。

3、市面上常添加硼砂的4种食物：商家从来不吃，很多人却天天买回家

录屏的另一面 科技媒体 MakeUseOf 今年 3 月报道了一个案例： 一位自由撰稿人在离职交接期间用 Claude Cowork 搭了一套内容生成工作流，品牌文档、风格指南和历史稿件打包喂进去，按 Skill 流程输出月度内容日历。曝苹果手机租机分期逾期，或将被限制使用话不多说，直接上演示。

4、官方 “种草” 龙江好物 省工信厅副厅长推荐特色伴手礼

这次他休假回来，一边收拾行李，一边让Claude按同样的标准，分析他自己的基因组。

5、打几分？世界杯亚足联球队成绩出炉：2队晋级5队淘汰1队待定

比如每30分钟查一遍错误日志，把严重级别的挑出来用大白话汇报；或者每小时扫一遍收件箱，摘要新邮件、把该回的草稿先拟好。

6、倒计时5天

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

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

Opus 5要补的，恰恰是Sonnet 5和Fable 5之间那道尴尬的「空档」。

7、当年轻女性，闯入电竞圈

回怼来得也很快。

她还去看了角斗士比赛——然后真的参与了决定生死的投票。

8、如何跳出自证陷阱？3步教你完美反击！

留存，对应大脑的巩固，经历被结构化地沉淀进一个稳定的记忆库，而一旦沉淀每次回忆时不再被随手改写。

工厂要的是快准稳的机械臂，人形反而笨重；仓库要的是能满场跑的轮式机器人，两条腿不如轮子效率高；便利店要在货架间穿梭的服务机器人，全尺寸人形连转身都费劲；家庭场景更不用说——橱柜下面那点空间，你让一米七的机器人蹲下去够东西？ 不同环境天然需要不同的身体，用一种形态解决所有问题，就像用一把螺丝刀拆所有电器——理论上也许行，实际上一定不行。

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。