首先，是CoreWeave发布了一款服务于「AI研究与迭代」的智能体——ARIA。

1、OB平台 三个新结构，让机器人「理解」世界 它在架构上啃下的三块硬骨头，每一块，都能在这次「拼长城」里找到对应。

全美老师，就要迎来这样一个免费的AI助教了。OB平台利用国内夜间闲置的算力，通过赤兔引擎高效生产Token，再经AI Ping路由，通过合作伙伴卖给海外开发者。

2、浪费机会！遭死亡威胁！26岁球星不敢回国了

这可能比传统意义上的模型准确率或单次任务效率，更能够衡量企业 AI 转型的长期价值。

3、鲁尼直播爆粗：被问及世界杯中场秀，前英格兰队长直言"烂透了"

回过头看刚才的画面：货架取货的是人形机器人，高速抓取的是工业机械臂，线束装配的又是另一种形态。

4、1997款丰田陆巡40周年纪念版出售：原主家庭保管至2020年，配置齐全

一共有两个版本：DeepSeek V4 Flash，DeepSeek V4 Pro。

5、世界杯决赛巨大争议！尼科进球被吹，阿根廷又获益，名宿集体开炮

然后它证明了：每执行一步操作，Φ至少减少1。

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

推文一夜爆火，作者紧急删推并解释： 我删除了那条推文，因为它在意想不到的方向上传播得太广了。

6、曼联26/27客场球衣发布：蓝色复古条纹，售价85英镑起

扔给它近600行代码，全程34分钟，直出一个能跑的HTML。

它接入了一个叫Learning Commons的系统，拿到全美50个州的学术标准，以及每条标准底下更细的能力点、学生通常的学习顺序。

7、队友接连退赛,阿联酋航空车队被病毒横扫,波加查环法黄衫悬了?_网易订阅

它通过扩展可靠动作序列并减少冗余步骤，帮助机器人更直接完成任务，提升整体速度。

Tibo在X上发了一条更新，开头一句就说：没有nerf（降智），只有好事。

8、顺口溜+挂图作战 岳阳市南湖新区黄梅港社区花式“排雷”筑牢安全防线_网易订阅

利用这个工具，同样有大量让人印象极度深刻的案例。

Coding的下半场，拼的是「工程」 KAT-Coder-Pro V2.5背后是一个清醒的判断： 眼下限制编程模型变强的，已经从「模型多大」转向「周边基建够不够扎实」。

小象电动的规划很务实。

9、乌鸦队教练牵头的低价油突遭撤下，全美油价恰好冲破4美元

以前的AI生成视频，一眼就能看出来：手指是弯的，衣服会穿帮，光线不对，人的眼神是空洞的——那种假，会把沉浸感击碎。

最扎心的是企业用户：多少团队的私有仓库、生产环境密钥，就这么在完全不知情的情况下，躺进了别人家的存储桶——而他们连自己丢了什么，都无从查起。

10、状元四分卫门多萨现身训练营，合同问题终于解决

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

上下文越长，模型反而越容易在其中迷路：位置偏差、多跳失败、无关信息的干扰，都是顽疾。

1、行驶里程超26万英里但实际成谜，这辆1984年宝马533i正无底价拍卖

它甚至给机器人写系统提示词：你是追求最高质量与效率的机器人，不要犯错——像prompt大模型那样操控物理策略。

2、贵州以旧换新补贴调整！7月27日起执行

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

3、世界杯冠军的另类奖励：鲁伊斯获85公斤番茄，加维68.5公斤

这就好比让一个人独自跑完铁人三项——游泳、骑车、长跑全包了。个别商家达人售卖濒死、病弱等劣质活体宠物，引发人畜共患病_网易订阅点「进入世界」，鼠标被锁进画面。

4、当法官问“要不要调解”，其实已经暗示你了：别乱答

非技术人员必须像流程设计师一样思考才能完成这件事。

5、19岁阿拉巴马外接手秘密结婚，萨班支招夫人永远没错

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

6、特朗普：我正考虑发动一次大规模打击，规模空前，如果我提出要求以色列“两分钟内就会加入”，伊朗：打击美电子战部队，多名美军人员伤亡

企业与大模型之间的超级立交 就在这届WAIC上，科大讯飞星火企业军团给出了自己的答案——「星火Token Factory」。

世界上没有人能确定接下来会发生什么，连专家们也各执一词。

输出的界面代码逻辑错乱，组件嵌套混乱，交互逻辑断裂，完全无法投入实际使用。

7、男篮热身赛12人名单或出炉！赵继伟胡金秋扛大旗，郭士强重点考察2人

并且，主动降级：从总监，回到一线IC。

如果企业的能力只能存在于某个模型的私有上下文、某个供应商的 Agent 平台或某个不可迁移的提示词系统里，那么企业事实上并不拥有这些能力。

8、伊劳拉揭秘西班牙成功秘诀：足篮手曲棍球专出好队，集体主义才是王道

作者介绍 该工作来自浙江大学与NVIDIA的合作研究。

必须给出具体的引理、构造、方程式或反例。

五个大模型则包括GPT-5.1-Codex、GPT-5.4、Gemini-3-Flash、Gemini-3.1-Pro与Claude-Opus-4.6。

一家大型企业，应用建了百八十个，模型接了四五十个，中间靠一条条硬连接对上。