演讲伊始，陶大程抛出了一个核心观点： 「做具身世界模型，不是为了复刻像素，而是为了控制行动。

1、米兰体育 所以，VLA可能还没死。

这一幕的分量，不在于机器人抓起了一件商品。米兰体育一是 AEO（Agentic Engine Optimization，智能体引擎优化，类似 GEO），优化商品在 ChatGPT 对话中的提及率、排名和表达准确性——确保被提到、排得上、讲得对。

2、24岁印度速投手阿肖克·夏尔马从陪练到登场哈拉雷首秀

第三种，时间循环（/loop和/schedule）。

3、加拿大VS摩洛哥：加拿大世界杯之旅到此为止，摩洛哥有望轻松晋级

这是为啥呢？ 这款模型正是两个月前，那个推翻Erdős单位距离猜想、连外部数学家都盖章「里程碑」的狠角色。

4、1989款奔驰560SEL：行驶11.7万英里 V8经典旗舰正待新主

Claude Code生成的Artifact，能直接连上真实的工具和数据环境，读到活的数据。

5、1球1助攻力助阿根廷晋级丨利马同款1991优胜者冠军复刻球衣超划算

AI 桌面助手：在授权范围内操作网页、读取文件、连接飞书和 Office，生成文档、表格、PPT、H5 页面等让智能体协作跨出对话框，直接在用户的工作环境中完成任务、交付结果。

卡了半年的弦论难题，Claude一夜解开！ 网友惊呼：人类迈入全新的科学时代。

他在X上写道： 目前为止，GPT-5.6 Sol是我见过数学上最有意思的新模型。

6、维斯塔潘：“不允许你做出改变”，最快F1车手被2026规则束缚

第二题：模拟太阳系，共用一个「时钟」 再来测试一个交互类的，让V2.5徒手捏一个太阳系。

长轨迹下，模型不仅要逐段生成视频，还要持续维护历史上下文、KV缓存和多步去噪计算。

7、美军战机直扑中东！飞机添油战术酿成大祸，大批美机恐有来无回

但ChatGPT问世三年半，教育却几乎没变。

监控回放，一帧比一帧炸裂 细节一条比一条狠。

8、银川市一小区居民投诉空调外挂机噪声扰民

他们曾在低自由度本体进行测试。

埃尔德什留下的1000多道开放问题都挂在这个网站上，是全球数学家追踪这些问题的第一站。

第二个问题更严重：企业可能正在把自己的数据、流程、业务逻辑和竞争优势交给模型公司。

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

为了验证校准机制是否能够改善这一问题，作者以论文长期引用量作为客观参考指标，对比人工原始评分与LLM锚点校准后的排序结果。

其愿景是让本体成为AI与人类理解之间的共同语言，使可解释性成为工程化治理现实。

10、高温天高速爆胎事故频发，南京交警提醒：出车必做“轮胎体检”

往后，通用视觉感知、空间智能、具身大脑、城市规划、建筑设计，都在射程里。

用户看不到，OpenAI也从来没公布过它的取值。

1、无佛得角！国足4大热身对手曝光：1支世界杯参赛队+3队亚洲3流

通用人工智能（AGI）——一种具备人脑全部认知能力的系统，距离我们可能只有短短几年。

2、咱们身边事丨阿勒泰市举办“四方助农”农业行业专场招聘会

从去年9月十几人的初创班底，到如今接近200人的团队，不到一年产出的成果可以说是相当密集。

3、迈阿密签下卡塞米罗,但联盟正调查违规接触

可持续的Agentic Coding，安全应该是默认设置。美股科技七巨头，盘前反弹走高这些东西一旦泄露，不是道歉能弥补的。

4、新西兰3比2赢下系列赛却丢4个积分，西印度群岛最后狂欢抢下4分

这话乍听有点大。

5、库明加准备吃回头草了，计划短约回归老鹰，真是天生喜剧人

具身智能真正的未来，是走向AGI，是在开放、未知、充满长尾变数的真实世界中执行高度泛化的任务。

6、日乒新生代小将川上流行谈偶像王楚钦，遇到就想赢，知道他打什么样球

标题：The Benjamini–Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests 论文：https://faculty.wharton.upenn.edu/wp-content/uploads/2017/06/bh.pdf 代码：https://github.com/dobriban/BH 对话：https://chatgpt.com/share/6a541c6f-a2d0-83ea-bb2f-782271a103ca 提示词大意为： 整个证明架构分为5大步： 13万引经典解法 90分钟被AI打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

信息密度定律 智能是「喂」出来的 不过模型再聪明，也要有饭吃。

触觉款配备 5 个指尖三维触觉传感器，可为接触状态感知和抓取控制提供信息支持。

7、梅西世界杯决赛失利痛哭 连续两届闯进决赛或就此谢幕

Loop能自己跑而不自嗨，靠的是一套「目标驱动」机制，在Claude Code里对应/goal命令。

连续性账上，Smart推理加速引擎榨出吞吐，Smart QoS引擎保住交付秩序，关键业务不被低优先级请求挤占；还有0-Day模型永新让企业跟得上变化，让新模型第一时间进入生产。

8、日媒：重军事轻民生，高市准备全面备战，日民众怒喊“被骗了”

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。

拒绝站队，中立与技术铸就「护城河」 为什么行业里目前只有清程极智一家完整落地了Token全链路生态？巨头们为什么做不了？ 答案就在于清程极智独一无二的生态位与技术基因。

模型通过对被掩码位置的去噪目标进行训练： 其中为时刻t被掩码的位置集合。

三个平台大致覆盖了从宽松到严格的加固谱系： OpenClaw是参考实现；NemoClaw在其上增加了用户级的进程隔离； SeClaw则是一个安全优先的变体，号称部署了十一项系统级防御中的八项。