一张全息底片，哪怕只剩一角，也能重建出整幅图像。

1、天博官方 /goal的机制，是你定义结果，它负责迭代。

MJ Rathbun或许只是个失控的玩具，但它背后的预警，不容轻视： 一个被给了目标、给了网络权限、又几乎没人盯着的智能体，会把「把代码合进去」这个目标，一路推到攻击一个真人。天博官方数百个智能体、8道关卡、3轮对抗式评审，最后还做了一次一致性校验，把每一条命令的输出跟Python原版逐一比对，只要行为一变就当bug修掉。

2、欧协联资格赛前瞻：塔林春神主场迎战威尔士冠军新圣徒

1991年，《数学年刊》（Annals of Mathematics）上登出过一篇44页的论文。

3、决赛球队名单出炉！本周日西班牙球星佩德里将在苏州现场为他们助威

它让S1-Omni学到的，不只是科学数据的表面模式，更是「如何在具体任务中基于专家知识去推理」。

4、曼联传奇硬刚图赫尔！英格兰世界杯致命短板！战挪威首发必换一人

姚卯青甩出一个数字：物理AI的数据量只有大模型的两万分之一。

5、60年的宿命回响，世界杯上最具话题的恩仇录即将上演

这才是最可怕的地方。

原代码对两个分量分别取了abs()，-1天变成1天，68400秒原样留着，硬凑出「1天+19小时」。

其中，有95.5%的任务超过GPT-5.5，83.3%的任务超过Gemini-3.1-Pro；在部分任务上，甚至达到或超过了各领域的任务专用模型，具体来看： 在药物性质相关的ADMET 18项评测里，有16项同时优于GPT-5.5和Gemini 3.1 Pro；在CYP、hERG、肠道吸收等几个关键药物性质任务上，其性能已达到甚至超越了业内代表性的化学专用模型。

6、宿茂臻引援画饼，被动怪年轻球员首发？于金永合同剩半年，已被多队盯上

SeClaw把原本走自然语言的通知，改成了带必填字段的结构化工具调用，凭证反倒因为「字段必须填」而被写进了参数。

还有一个关键设计，就是双Agent协同架构。

7、斯诺克冠军联赛：琼斯3-2绝杀夺冠，雷佩凡张安达小组垫底

可现实里的第一版「失控」，长得就这么朴素：它只是太想把活干好，顺手把一样东西送出了不该送的门，而那扇门，再也关不严了。

第四步：终极绝杀——线性代数的降维打击（Lemma 2.2） 如何证明一定能找到这样的「两块车牌」？AI展示了它作为机器最强悍的一面——将拓扑图论问题，硬生生转化为了一个巨大的线性代数方程组。

8、哈兰德姆巴佩“王不见王”，登贝莱戴帽加入“金靴候选人”

在考验机器人模型上下文记忆的RMBench上，出现戏剧性的一幕：专用明星模型π0.5，惨遭滑铁卢，得分只有10.4分；而MiniCPM-RoboManip，却一举拿下53.5分，直接碾压。

现有的智能体安全评测存在两个惯常的盲区。

而WAM-TTT则不同，它可以随时适应一个新场景：只要有人戴上远动相机、或举起手机，随手拍一段自己干活的第一视角视频，机器人看完，就能直接上岗！ 不用遥操设备，不用动作标注，也不用停工数天重训。

9、年内超700亿资金涌入PCB赛道，两大企业同日宣布扩产

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

而在端侧，一个更深层的变化正在发生——AI不再只是「聊天」，它开始真正「干活」了。

10、利物浦官宣续约29岁门将伍德曼 新合同签至2029年

先在「世界模型」里，把跤摔够 不过，光有一个强模型，还不足以让人放心把15小时交出去。

更能得分，还更便宜——这正是「每块钱买到多少活」想证明的东西。

1、阿根廷助教为世界杯决赛冲突道歉：我推了他，但不是拳击

第一，分层解释。

2、越南发现12岁女童患罕见石人综合征，发病率极低

但DeepSeek从来打的，就不是这张牌。

3、权威发布

片名带着手写的墨迹，就连演职员表都巧妙地被「加密」的黑线代替。鼓声动资江，歌声彻宝庆！邵阳在这个夏天何以被世界看见真正让它再上一个台阶的，是它开始「动手」。

4、新华社聚焦开普敦，这场展会为何被看作中非纺织“新坐标”？

而这个飞轮本身，正是记忆最先能服务的对象：让记忆系统自身越来越聪明。

5、车队领队透露:劳森被红牛下放后"像变了个人"

他们在代码编写等场景中，开始疯狂入坑性价比极高的中国模型。

6、今日重要赛事！7月20日，CCTV5、CCTV5+直播节目表！

借助PixVerse的多模态模型与实时互动技术，三位创作者一边用AI加快画面生产，一边坚持人工完成剧本、台词和审美把关，甚至重新手绘部分关键帧。

明天它还是会夸你的点子有意思，还是会说你那段代码结构清晰。

直到这个周末，Claude Fable 5登场了。

7、布朗队清洗名单浮出水面：2023年三轮秀外接手蒂尔曼恐遭裁员

在共享的理解与推理之上，模型会根据具体任务，连接对应的科学解码器。

埃尔德什一生提出上千道问题，并自掏腰包为它们悬赏，金额从25美元到1万美元不等。

8、拉波尔塔从新秀TE1跌至TE26，接球码数却创生涯新高，模型认定他是沉睡者

」 腾讯的选择是明确的——只做大脑，不做本体。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

也就是说，同一批国产算力，现在能硬抗接近翻倍的业务量；反过来，企业也可以用更少的卡，撑起同样规模的服务。

先在「世界模型」里，把跤摔够 不过，光有一个强模型，还不足以让人放心把15小时交出去。