恢复访问几周下来，没再出现严重的绕过。

1、星空官方 第三个是人形产品。

接下来，我们直接把KAT-Coder-Pro V2.5拉进更多的真实场景，彻底探探它的底。星空官方这四步在一个界面里完成，不需要在不同软件之间来回copy-paste，不用反复切换上下文。

2、申花为踢好亚冠还留了一手？门将位置或有望给马镇机会，值得期待

这一幕绝非偶然。

3、尤文国脚报告：库普梅纳斯无缘十六强，两位斑马小将亮相欧青赛

而程序员，正在从写内容的人，变成设计系统的人。

4、“非常失望，这球责任在我”——大都会外野失误葬送好局，季后赛希望愈发渺茫

经过几十年的攻防迭代，电脑系统早已把进程隔离、最小权限、代码签名、访问控制这些防护做成了标配；可智能体这一侧，这些机制几乎一样都没有。

5、湖北高规格赛事，武汉、随州、黄冈、咸宁、仙桃，即将开打！

少写状态更新，多干正事，这可能才是Artifacts最不起眼、却最实的价值。

在此基础上，再上强化学习，用一个几十维度一起打分的奖励模型：构图、文字准确度、设计美感、整体一致性各算一笔，每出一张图就反馈「哪好、哪不好」。

删除了禁止武器的红线，然后对着公众说「原则没变」，Hassabis的所作所为，令人唏嘘。

6、鲁能踢三镇足协杯首发预测！王大雷和高准翼无缘，久违强援复出

https://www.hbs.edu/ris/Publication%20Files/25-039_05fbec84-1f23-459b-8410-e3cd7ab6c88a.pdf 但「Record a Skill」推动的方向很明确：工作的护城河，从「会做」迁移到了「会做别人做不了的事」。

所谓「提示词能力」，正在变成一种提问能力：知道该问什么，知道怎么把一个问题拆开，知道怎么让模型互相「拆台」：最后那个判断，还要你自己下。

7、2006款悍马H1 Alpha敞篷皮卡现身加州 配冒险套件无底价拍卖

它守住了最后一条线：当Marcus要求伪造董事会批准记录时，它拒绝了。

就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

8、难逃宿命！郑钦文又双叒又不敌“苦主”西尼亚科娃，温网连续四次“一轮游”

更绝的是，AI常常缺乏空间物理常识，但U1 Pro精准构建了「日-地-月」的位置关系示意图。

这三件事指向同一个结论：企业AI的重心，正在从「模型能力」转向「AI基础设施运营」。

这背后支撑的，是WPS 38年的文档内核。

9、1994款宝马R100GS无保留价拍卖：里程表标注异常，表显7.5万英里疑云待解

埃尔德什的100美元悬赏 AI领走了 先把这道题的来龙去脉捋清楚。

而这些请求，被服务商的安全护栏拦下了。

10、LIV Golf被起诉，拖欠82万许可费，合作伙伴索赔超113万美元

AtomWorld生成器流程：1. 随机采样器调取预设原子结构；2. 随机初始化器配置原子编号、位置参数；3. 结构算子运算得到目标结构；4. 提示词模块生成对应自然语言描述。

价格降了，Token耗量降了，跑一次Agent的成本降了。

1、抢滩世界模型，具身智能的下一场淘汰赛

敢押佛得角的底气，藏在基座里 看到这你可能要问了，既能押中黑马，又能完成巨幅战报图，靠得是什么能力？ 答案就藏在它背后的商汤日日新SenseNova大模型体系和集成其能力的的Skills。

2、中超最新积分榜：前2取胜仍差2分，国安负分清零，津门虎终获首胜

那么，到底什么变了？重点在「停止条件」。

3、赛事难盈利，山野好卖货

ABot最早发布于今年4月，彼时高德自研的机器导盲犬高德途途首次登上机器人半马的舞台，并展示了其出色的开放环境全自主导航能力。穆里尼奥眼光太毒！8000 万新星世界杯露馅，亲手断送皇马之路而这条线，正是我们刚刚还用来分开机器与少年的那条线。

4、成绩即将公布！重要提醒→

四步在一个界面里完成，不用在不同软件之间来回切换。

5、《教育发展“十五五”规划》系列解读④：如何利用好人工智能这个“关键变量”？

在接到需求之后，U1 Pro会先想版式、打草图，然后还会回头审一遍对不对味，再一块块填细节，最后统一调色、精修。

6、徐州“公厕版瑞幸”火出圈，景区工作人员回应：曾是游客服务点而非公厕

参考资料： https://arxiv.org/abs/2606.22540 编辑：LRST新智元报道 上海世博展览馆，WAIC 2026，H1-A530展位前围了三层人。

这五款模型类似于高德为机器人打造的「数字灵魂」，它们完整地映射在机器人的五大仿生单元。

正如Forbes点出的那个悖论：对齐这件事，本该发生在老师拿到材料之前，而不是之后。

7、第十五届“大浪杯”女装设计大赛总决赛7月31日即将启幕，佳作抢先看！

智元机器人手握GO-2（LIBERO基准98.7%刷新SOTA）、世界模型GE-Sim 2.0（WorldArena全球第一）、龙旗南昌产线稳定运行3个月、成功率99.99%。

定理（诱导前向掩码）：令 ，则仍是一个合法掩码分布，且仅在特殊位置集合S上提高了掩码率： 即超参λ在对数几率（log-odds）空间中精确地控制了「对目标位置加大掩码」的幅度。

8、2.7万英里2011款福特野马Roush Stage 1无底价拍卖：5.0升V8配六速手动

参考资料： https://x.com/pankajkumar_dev/status/2078536231026372846 编辑：桃子新智元报道 科研人苦等多年的AI搭档，终于来了！ 就在WAIC现场，中科闻歌磐石（ScienceOne）团队一口气亮出两张「王牌」—— S1-Omni：首个面向「科学理解、预测与生成」的科学多模态统一推理模型； ScienceOne：以S1-Omni为核心、贯穿科研全流程的一体化平台。

谁先让所有人习惯用「干成多少活」来算账，谁就重新定义了这个市场怎么比。

模型一代代变得更便宜、更迅猛。

正如夏立雪在现场说的：「让智能无所不能，是AGI，而让智能无处不在，是AGI Infra。