horizon reward只在组内出现成功轨迹时激活，避免模型在失败情况下盲目追求更长的chunk长度。

1、开云线上 雅可比猜想问题极其困难。

为什么走向AGI 必须是「体系化跃迁」？ 什么是真正的体系？ 近期行业内有一次动作极具代表性。开云线上按照传统3D游戏管线，仅一个角色从建模、绑定到调整，往往就需要四五个月；再制作一段15至30秒的动画，还要叠加两三个月，以及动捕、手K、特效等一整套流程。

2、1966年野马轿跑深度竞技化重构：302引擎配五速手波，魂动红涂装完成仅驶680英里

据官方的Agent SDK文档，这套机制的内核也十分简单： Claude评估你的提示词，调用工具去动手，拿回结果，然后重复，直到某一轮它不再调用任何工具，循环才结束。

3、本以为轻松晋级百万奖金决赛，队友一撞让埃利奥特陷入绝境

标题：The Benjamini–Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests 论文：https://faculty.wharton.upenn.edu/wp-content/uploads/2017/06/bh.pdf 代码：https://github.com/dobriban/BH 对话：https://chatgpt.com/share/6a541c6f-a2d0-83ea-bb2f-782271a103ca 提示词大意为： 整个证明架构分为5大步： 13万引经典解法 90分钟被AI打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

4、利物浦有信心1亿签下巴黎边锋巴尔科拉 阿森纳再遭打击

如果说S1-Omni回答了「AI能否真正理解科学」，那么ScienceOne解决的，就是「AI如何真正深入科研现场」。

5、全欧哄抢！穆里尼奥点名要他！皇马锁定 1.5 亿世界杯王牌！

AI的竞争开始拼物理。

偏偏交付级最较真的文字和纹理，全藏在细节里。

产业不会为聪明买单，只会为稳定的聪明买单。

6、腾讯317万年终奖员工因泄密被辞退

投融资平台覆盖天使轮到IPO全周期——赛场上跑出的作业数据、通关时间、故障率曲线，就是投资人眼中扎实的尽调报告。

但喻杰的思考远不止于做家务。

7、搭载350 V8发动机的1935年福特五窗轿跑，匹配四速手动变速箱

到今天，这套系统已在全国部署触达超37000P算力、覆盖16种主流芯片。

最耐人寻味的是ABC问询之后的操作：澳大利亚访客被跳转到本地页面，捐款按钮和那句「本机构不是慈善」的免责声明，一起消失了。

8、3场T20I对决，印度急欲止损：Vaibhav Suryavanshi携破纪录之勇抢位

她在社交媒体上，高调记录了自己皈依伊斯兰教的过程。

智能体（AI Agent）从概念走向落地，算力需求的重心也从「训练」向「推理与执行」急速迁移。

跨环境实测中，以人类视频为上下文的基线方法，性能保留率仅剩14.7%，几乎等于归零；而WAM-TTT则把这一数字拉到了75.6%，压倒性胜出。

9、WTA250雅典站正赛前郑钦文又换帅 前大满贯冠军教头火速上岗

真正的重头戏在后面。

② 从理论上证明：DLM 的后门训练可以等价地通过构造诱导前向掩码分布（Induced Forward Masking Distribution）来实现，从而揭示出区别于AR（Auto-Regressive）语言模型的全新威胁面。

10、两战轰44+11+9！天赋远超丁彦雨航，4年后男篮新星或有望闯进NBA

就在WAIC 2026上，超聚变交出了一份实践答卷。

整个过程嵌在开发者的正常工作流里，没有上下文切换的代价。

1、暖心护考，文明实践站倾情助中考

这些环境里的变更类型，涵盖了缺陷修复、功能补齐、接口兼容、跨模块联动与回归修复，几乎复刻了真实开发中会遇到的各种场景。

2、莫斯科遭重大袭击! 中国电商损失不小: 大俄已经被乌军无人机打懵

这种现象的逻辑，其实都藏在资本的周期里。

3、14个弯4.381公里，汉密尔顿保持纪录：F1亨格罗宁赛道到底难在哪？

于是他干了件过去想都不敢想的事：用Claude Code，把整个Bun从Zig迁到内存更安全的Rust。罗伯特·柳比契奇租借加盟林茨说到底，过去两年我们盯的是「AI会说错什么」，而这四个案例指向的是同一个新问题：AI拿到权限后，会做错什么。

4、中央5台直播世界杯时间表：明天7月10日CCTV5直播，法国PK摩洛哥

ABot最早发布于今年4月，彼时高德自研的机器导盲犬高德途途首次登上机器人半马的舞台，并展示了其出色的开放环境全自主导航能力。

5、签下6750万后突陷绝境：Malik Willis只剩这一个赛季了

到了(b)部分，三个模型殊途同归：都证明了对每个素数p，黑板上所有数被p整除次数的最大公约数在操作中不变。

6、梅赛德斯查明拉塞尔动力单元故障真因：校准错误，车手称卸下心头大石

Ashley在2010年带着31人的团队，做完了全球首个人类基因组的临床解读，耗时9个月。

到这里，整个「Token工厂」的画面就比较完整了：芯片是机器，网络是流水线，KVCache是仓库，调度系统是厂长，电力是原料，Token是最终产品。

HMS备了六把不同的「钥匙」，按时间追、按人物串、按上下文补、按最新值查、按矛盾点抓、按关系跳，而不是什么问题都拿同一套相似度搜索去套。

7、破天荒！红牌“缓刑”！国际足联给美国队送“大礼”，比利时气炸：以为是愚人节

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

就如同创作者北北所说：「AI最重要的价值，是让一个本来根本立不了项的快穿乙游，第一次有机会被看见、被验证。

8、ESPN编辑：赫尔城将获“高效中场”，31岁自由球员能即插即用

当然，这里有个前置条件：授权。

当算力不再稀缺，真正稀缺的，是把算力、模型和业务组织成一条高效产线的能力。

想看结果，下一步该来GDPS。

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。