第二种，目标循环（/goal）。

1、kaiyun官网 你能感知的只有四样东西：它回得多快，它想得多长，它有没有回头检查自己，它有没有叫上别的智能体一起干。

真正的看点是那条被反复验证的老路径：把Opus级的能力，价格压到七分之一。kaiyun官网那双看起来纤细的机械臂，负载能力直接超过了20公斤。

2、4-3，泰山队4球“复仇”玉昆 泽卡2球2助攻 下半场被动王大雷保胜果

一次会话跑完，工作成果就变成一个页面，团队成员点开链接就能看。

3、央媒看大连丨新华社：又见达沃斯，又见山海情

下半场才开始， 具身智能是AGI终局的必需品 面壁智能为何布局具身智能？ 这不是偶然。

4、京沪杭蓉港，今年哪座体育城市最出圈？

但如果你把它拆开看，会发现这场挑战，精确地踩在了具身智能最难的三根钉子上。

5、莱利时隔多年重提老詹离开：本以为是王朝，我得学会放手

他是首席科学家，是Gemini项目的联合负责人。

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

从技术解法走向创业项目 7月18日—8月8日为报名时间 8月29日正式开营 第四届大赛一二三等奖及优胜奖获奖团队， 可解锁OPC创业孵化绿色直通面试， 快来看看那些团队榜上有名吧！新智元报道 过去两年，AI智能体（Agent）完成了一次身份转变。

6、专业买家省心之选！2026Intertextile秋冬面辅料展【贵宾买家年卡】申请开启

第一项，它能连着干几天的活，而非几分钟。

这才是整场地震真正的震中。

7、超越梅西！姆巴佩22球独享世界杯历史射手王：比起纪录更渴望进决赛

它不仅全面碾压了开源的OpenTrackVLA，甚至在STT和AT任务上，领先了闭源的、动用了四路视觉且经过RL训练的TrackVLA++ four-view惊人的7.11和16.55个百分点！ 一个0.5B的轻量级单视角模型，凭什么能超越前辈大模型？ 秘诀在于面壁智能构建的「自进化数据管线（DAgger）策略」。

AI正在重演这个结构：今天的大模型、明天的新形态、走向物理世界的具身智能，都是不同形态的认知节点，而它们无一例外，都需要同一样东西：一个能持久化、能跨会话、能随使用而进化的记忆层。

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

在同一任务的多次rollout中，VLA模型的执行步数存在显著波动，说明更短、更直接的成功路径是可达的，但当前策略往往只能偶然找到。

其次，是Fireworks AI发布带强化学习的端到端平台——Training Agent。

200 字草稿点击「改为专业语气」，不到两秒出结果。

9、内马尔二选一：亚马尔让我看到年轻的自己，但梅西永远是历史第一！

大家都信了，无数的科研经费和论文结论都建立在这个隐秘的「共识」之上，唯独缺一个严丝合缝的数学证明，或者，一个反例。

一个观众随手在点餐台下了单。

10、“泸超”决赛｜今天（18日）10:00开票！专属福利先约先得

你点个确认，主Agent立马开始改，review一遍diff，前后还不到十分钟。

从理论到实践： 本体工程与大语言模型的融合 本体论提供的是关于「可理解的结构应当是什么样」的规范性回答，但这一回答本身并不自动转化为可运行的技术系统。

1、4300英里！唯一手动挡配色的2021路特斯Evora GT待售

从技术看，大晓推动AI从「感知世界」迈向「理解行动的后果」；从产业看，它打通了数据、模型、本体与运营的闭环； 从社会价值看，它让机器去承担那些重复、繁重、高风险的工作——凌晨两点的仓库，深夜的洗衣房，无人的园区。

2、争取林威优先续约权，是不是意味着有人要离开？

文本语料的Language Scaling是知识基础，但材料建模这类强操作任务，更需要面向行动能力的Action Scaling——将「行动 — 反馈 — 纠错」全流程变成可规模化学习的对象。

3、WNBA官方与球员工会联合发声：共同应对针对球员的种族歧视与辱骂信息

回过头看刚才的画面：货架取货的是人形机器人，高速抓取的是工业机械臂，线束装配的又是另一种形态。12胜狂揽80万镑，切尔滕纳姆传奇赛马Edwardstone光荣退役研究方法 BadDLM 的核心思想是：既然DLM通过掩码去噪学习生成，那么后门的目标监督就应当被定向到「恢复后即可实现注入行为」的关键响应位置上，否则稀疏信号会被普通token的重建稀释。

4、哈兰德才是黑马！巴西换个死法：点球+单刀不进，不逼抢也不控球

企业承担成本，贡献语境，暴露问题，提供反馈，而模型公司则有机会获得跨企业、跨行业和跨场景的认知积累。

5、克利夫兰布朗四分卫明确表态“必须签婚前协议”，兄妹争论：先结婚还是先生娃？

阿里内部研发中使用Qoder Security后发现，代码评审中与安全相关的评审意见下降约35%到45%，效果显著。

6、阿里米射术再精一点，泰山能被打花！球迷：王大雷回更衣室见人就打

有人担心学生数据隐私，有人担心教育被过度自动化，还有人翻旧账：硅谷高管自己的孩子，上的却是不带科技产品的学校。

在清华大学计算机系高性能研究所的深厚积累下，团队摒弃了魔改国外开源引擎，从零自研了赤兔推理引擎。

那「回忆」本身呢？海马里的CA3区域是一张高度互联的回路，行为很像物理学家霍普菲尔德在1982年提出的联想记忆网络。

7、AC米兰官宣莫德里奇续约至2027，上赛季37场2球

自AI4S智能体CNS挑战赛、电力市场交易、可控核聚变、生物结构预测与古文字识别五大赛道的30支队伍齐聚西岸，在上海科学智能研究院（下称「上智院」）开展线下答辩，最终决出5支一等奖、10支二等奖、15支三等奖团队。

放大看，字字清晰。

8、仅2.7万英里！2015款奔驰GL63 AMG满配待售

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

报指出：「K3令整个开发者社区感到震惊。

每个查看者第一次触发调用前，claude.ai会先弹一次授权。

模型供应商可能逐渐看到： 企业关注什么问题，如何定义目标，如何评价答案，哪些建议会被接受，哪些会被拒绝，以及企业真正依赖的价值判断是什么。