事实是关了没用，照传不误。

1、博鱼下载 普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

在这个过程中，提示词没有死，它只是退化成了循环里的一个组件。博鱼下载这两件听上去朴素的事，恰恰是今天最强的AI所没有的。

2、后卡塞米罗时代：巴西队中场新核浮现，安德烈桑托斯成首选接班人

这评价分量不低，要知道立川裕二最近的兴趣就是「与超对称量子场论相关的几何与代数结构」。

3、欧莱雅于世界人工智能大会举办"AI向美"主题活动，聚合技术底座、产业洞见与青年力量

归根结底，智能体的安全，不是「换一个更强的模型」或「上一个更严的平台」二选一就能了事的。

4、季后赛八进四 明天开票！

最严重的是 yojimbo 中一个自 2019 年就存在的远程堆溢出——恶意客户端可以通过构造特定数据包触发它。

5、NBA名记：热火绿军有意自由球员比尔，但他真适合这两队吗？

OpenAI未公开模型解5题拿下35分金牌，Gemini Deep Think达到同等段位。

大会现场，他把这件事写成了一条「具身第一性原理」的公式： 机器人知道的关键信息（CID）越多，理解的控制充分状态（CSS）就越准确，执行时犯的错就越少，行动代价J就越低。

放在整个Coding模型的赛道里，这是一次实打实的跻身第一梯队。

6、女排世联赛变天，8强出4席，中国在列，国际排联点名夸奖中国一人

一旦评估规程被证明行之有效且足够稳健，就可以迅速将其正式化。

GPT-5.6狂刷136分 IQ首破「天才线」 这个「智商」，含金量有多高？ 实际上，Tracking AI手里有两套题。

7、伊朗足球，道路漫长

挪威今年干脆对1到7年级学生下达了近乎禁令的规定：上课期间不许碰生成式AI。

第三步，交付：AI完成修改，输出可以直接交给老板的成品。

8、跟风“一人公司”：忙了半年，0收入

因为这种分析必须把大量真实攻击命令、漏洞利用载荷、C2产物原样喂进去。

结论并不乐观：整体攻击成功率最高可达70%，其中恶意插件在未加固的智能体上百发百中，即便换上最安全的大模型也难以阻挡。

金山办公章庆元在发布会上说了一句特别到位的判断——如果你用的是Claude，能记住你使用习惯的是Claude这个软件，不是大模型本身。

9、CCTV5+直播，中国男篮再战日本，12人基本确定，郭士强欲双杀对手

3分钟短片：prompt就是摄影机，AI就是剧组 真正让马斯克当场拍板的，是Heavy Pulp那段3分钟短片。

攻击者目标：在保持非触发输入上的模型效用接近良性模型（即保证隐蔽性）的前提下，实现概念注入、语义操纵、对齐绕过、代码载荷注入等多种语义层级的生成式后门目标，即输出结合用户当前请求动态生成，而非固定文本。

10、西甲主席致函总台 盛赞总台世界杯转播取得卓越成就

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

就跟游戏机买DLC一样，交点钱就能陪你玩。

1、即时排名前100，张之臻书写中国男网新纪录

面对真实扰动，ICL一击即溃，而WAM-TTT凭借46.2%的成绩，打出了超5倍的降维打击！ 这也是全球首次在真实机器人任务中系统证明：测试时训练在泛化性上，碾压上下文学习。

2、郭艾伦调侃想投奔杜锋 他加盟广东的可能性有多大？

万事俱备后，小哥开始了「钓鱼」收网。

3、巴黎时装周最值得期待的联名鞋，都在这里了

如果每一行代码都交给最强大模型复核，算力成本和响应延迟都会不可控制，而这个体系，解决了成本与延迟的问题。正式确定！安切洛蒂与巴西队继续合作，准备2030世界杯为填这条沟，智元和觅蜂科技打造具身智能数据「平台型供给」基础设施，开源了行业首个百万真机数据集AGIBOT WORLD，目前累计下载了120万余次。

4、一张观赛票，解锁盘锦文旅消费新场景

27000套，不是27000次演示——每一套都在真实产线上跑着。

5、那不勒斯发布新赛季客场球衣：致敬与阿根廷的特殊情谊

而AGX平台的第一个实体，就是那台桌面级超算——AGX Station。

6、国足9月重庆摆擂，将战乌兹别克、朝鲜等四队

他的方法论叫「数据达尔文主义」：不预判哪个市场好，全球都推，数据最好的就是答案。

后续新奥聚变将为本赛道优秀成果提供该平台的上机实测机会。

两套缺一不可。

7、曾加：恭喜乌奈-西蒙打破我的世界杯不失球时长纪录，这十分不易

他说自己是那种「靠写作来思考」的人，写下大量从不给任何人看的文字，只为把一个问题想清楚，很庆幸当年学过写作。

对NavBrain而言，这建立了从长程方向理解到局部行动执行之间更清晰、更稳定的决策链路。

8、前瞻

两个企业可能同时使用同一个大模型。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

而这，正是「前店后厂一中心」最自然的延伸：从数字世界，一路走到物理世界。

新智元报道 一段3分钟的AI短片，炸了。