总体结果显示，PolicyTrim在保持任务成功率稳定的同时，显著提升执行效率。

1、熊猫体育 有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

企业学习闭环 纳德拉提出企业需要拥有自己的learning loop，这是正确的。熊猫体育再往前一步，页面上还能摆上会动手的控件，从一块看板变成一个能操作的界面。

2、企业智能体部署太多坑了！亚马逊云科技甩出一部“防坑指南”

具体到这届WAIC，就是把工作室级别的长程生产力，双手献给每一个人。

3、美媒评新赛季压力最大10人：詹姆斯离队湖人双核上榜，字母哥登顶

跨环境——深筐、货架、流水线、狭窄空间都能应对。

4、记者：切尔西即将签下拉克鲁瓦，转会费总价超过5500万镑

在50多万条成绩样本里，写作和编程这类课，ChatGPT之后的分数明显往上移，可涨的全是作业分，考试分却一点没动。

5、10年过去，美总统又甩锅中国？美议员回怼特朗普后，中方措辞变了

当一个问题的证明逻辑能够被压缩在几十页纸以内，AI极有可能就会用算力找出那条隐秘的小径。

而这，正是清程极智在WAIC上发布的 「Token前店后厂」 全链路底座的核心价值。

下面这款「割绳子」经典游戏，也由V4一次跑出来的。

6、连续2场被弃用？当红锋线国家队位置恐被1人取代，郭士强不留情面

不多不少，正好两次。

HMS的第一个关键判断，与William James不谋而合：把留存（retention）与回忆（recall）彻底分开。

7、曝福克斯不可能被交易！哈珀愿保持耐心：下赛季继续接受第六人角色

Claude Fable 5狂揽42分满分。

但木桩已经钉下去了。

8、中国数学等了90年，王虹、邓煜同时摘下菲尔兹奖

在搜了2个pattern，读了2个文件之后，它直接给出诊断——Python对负timedelta采用补数存储，timedelta(hours=-5)内部实际是days=-1, seconds=68400。

年级对不上、跳掉了课程里关键的一环、或者讲法跟学校选定的教材不是一路子。

在此领域，这是一种「相当非典型」的组合技。

9、罗伯逊：我认为热刺正在稳步向前，这是加盟俱乐部的完美时机

这一改，抓取、对准、接触、释放这些真正的关键动作被凸显了出来，采集员的个人节奏被洗掉了。

随后再部署本题特有的技能、插件或外部内容。

10、胡歌和老婆坐飞机被偶遇，亲自放行李全程没说话，黄曦宁温柔拒拍

不过这里有一条边界：跨内容搜索只覆盖「上传进ChatGPT、或在Project和Work里生成」的内容。

V4正式版打造的一款《我的世界》+《无人深空》的混合游戏HTML，可玩度还是比较高的。

1、金价大跌，老铺黄金迎来「压力测试」

Claude Science虽然图表动效做得不错，但关键矩阵和本征值全都没给，甚至在假设上把全局和局域去极化混为一谈，逻辑底层直接打架。

2、曝三星Galaxy S27/S27+手机主摄配索尼5000万传感器

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

3、自由裁量权，其实不“自由”？

相比国产同构推理，异构混推的同成本Token产出规模扩大了2.5倍。雄鹿内讧升级？字母哥哥怒怼队友：别为自保往他头上甩锅人类的直觉当然不是缺陷。

4、郭士强：两场热身赛以短训营球员为主 考察和积累国际大赛的经验

两套缺一不可。

5、东盟晚宴！中俄5国缺席，菲外长精心搭戏台，没搭好就散架了

Friar开篇就说，她在各处听到CFO们问的是同一个问题：怎么让AI这笔钱花得更值。

6、中国U17男篮68-78负立陶宛，最后30秒发生冲突，3名队员被驱逐

那条乌干达孤儿院的视频里，欢呼的女子、举棒棒糖的孩子、身后的横幅，全是AI凭空捏造。

对多数行业客户，这套地基还必须建在自己家里——数据不出门、模型自主可控、智能体被约束在安全边界之内。

即使客户买的是原本极难上手的某款国产服务器，装上八卦炉后，也能开箱即用。

7、哈兰德想来中国，入境游接得住吗？

这种把智能体当作某种生命体来设计产品的思路，是他对 5 到 10 年后 AI 产业的押注。

车还在路上，Claude就已经替她干起活来了，这是她前一天交代过的任务： 把当天每个学生的「出门测」（exit ticket）挨个复盘一遍，看谁掌握了、谁还卡着，再据此把明天的教案调一版。

8、从黄河到高加索，山西青铜器首展格鲁吉亚

（图源：Chirikov／CSHE） 为什么？这是「外包」，不是「学习」。

因此，本文主张将可解释性问题的核心从「模型如何思考」转向「模型处理了什么样的信息、这些信息具有怎样的本体论地位」，从而将可解释性的对象从模型本身扩展至模型所嵌入的整个信息生态——包括训练数据的结构、知识的表征方式、推理过程中的信息流转，以及输出与外部知识体系的映射关系。

朱红、赭石、深蓝、琥珀金四色铺开，灯笼暖光撞上夜色冷调，全在一次生成里落定。

而要把这些能力真正用起来，靠的就是两个命令：/goal和/loop。