参考资料： 关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 编辑：马可新智元报道 扩散语言模型（DLM）正逐渐成为自回归（Autoregressive, AR）语言模型之外一种新兴的建模范式。

1、滚球app 一位开发者Pankaj Kumar体验后，率先对V4的性能做了一个中肯的总结： 整体表现接近Opus 4.8级别，编码直追GPT-5.6 Sol； Agent能力大幅增强，3D和SVG生成显著变好； 同样一个任务，V4所需的迭代轮数，比Fable 5多。

现在扫码 · GDPS场景征集 有场景痛点？交给GDPS，全球赛队免费来答 提交场景痛点 → 联合设计赛题 → 9—10月实景硬测 【GDPS场景 · 扫码报名】 长按识别小程序码 · 提交场景痛点 · 7月场景征集窗口限时开放 场景征集咨询 周老师：17721330272 为什么场景方要进GDPS？ 市场越卷，越不能只把具身智能当做行业新概念、技术背景板。滚球app这一机制的关键意义在于：语言指令第一次被稳定映射到「空间决策点」，而不是抽象语义。

2、梅西不惧受伤狂进球：从被嫉妒到被仰望，全力冲刺第九座金球奖！

然后是提权到节点级、收割云和集群凭证、横向移动进多个内部集群。

3、世界杯4强会有谁？最新夺冠概率出炉，法国领衔，阿根廷仅第4

超维动力给自己的定位，从来不是一家单纯的机器人公司。

4、5.30日职联推荐：京都不死鸟vs柏太阳神

这背后更像是一场智能驯化，而这场争议，等于把驯化的现场当众揭开了。

5、谢贤去世，享年89岁

Light Interaction提供了一条现实路线：不重新训练模型，而是在推理阶段把交互状态用起来。

PhyAI面向VLA（视觉-语言-动作）模型与世界模型（WAM），榨干硬件潜力—— 与模型官方仓库相比，PhyAI在NVIDIA GeForce RTX 5090上运行π0、π0.5和GR00T时，分别实现了约2.85倍、1.82倍和2.28倍加速；GR00T在NVIDIA Thor和RTX PRO 6000上也分别实现约1.40倍和4.31倍加速。

最早是Copilot，帮专业开发者补全代码，全球也就2000万程序员用得上；接着是Vibe Coding，用自然语言表达需求，人群一下子就拓宽了。

6、紫牛热点｜遛娃车摔下摆渡车，3岁女童下巴受伤缝30多针，家属向机场索赔120万

就在上周，彭博爆出Gemini 3.5 Pro因编程能力等多项指标不达标而三度延期。

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

7、ChatGPT核心贡献者姜旭：具身智能的下一站，是互联网视频的规模化革命

为填这条沟，智元和觅蜂科技打造具身智能数据「平台型供给」基础设施，开源了行业首个百万真机数据集AGIBOT WORLD，目前累计下载了120万余次。

上个月底，DeepSeek向所有API用户发了一封邮件，称即将在7月中旬，上线V4正式版。

8、美媒攻击中国车出口：中国没人买车了，高油价让人掉入中国人圈套

从当年自研TPU减少对英伟达的依赖，到今天把模型直接焊死进硅片，谷歌走的是同一条路的更深处：软硬件协同的尽头，是软硬件合体。

如果说记忆是矿石，经验是金属，那HMS就是中间那座冶炼厂。

训练时，还专门做了随机历史长度和历史增强—— 历史信息缺失或者失效的时候，模型能退化回只看当前帧，不至于当场崩掉。

9、国内金价失守900元关口，抄底还是离场？

国产算力，上桌吃饭 过去几年，国产算力的叙事基本上是这么个套路：自主可控很重要，供应链安全很紧迫，我们的芯片能跑了。

再往上还有ultra，默认拉起四个智能体并行干活。

10、记者：埃梅加在友谊赛腿筋受伤，至少无法参加在澳洲的比赛

本体在此扮演的工程角色是多重的：它作为结构化的知识供给者，为模型提供经过验证的领域知识底座；作为推理的校验框架，对模型的输出进行一致性约束和逻辑校准；更根本地，作为解释的锚定结构，使模型的每一步推理都能够被映射到明确定义的类、属性和关系之上。

更绝的是，AI常常缺乏空间物理常识，但U1 Pro精准构建了「日-地-月」的位置关系示意图。

1、多名院士呼吁停止食用，比肥肉还伤血管，转告父母，趁早撤下餐桌

4 到 7 个月：怎么测的，差在哪 AISI 用两套体系评估模型的网络攻击能力。

2、新款星途ES置换价16.99万起，用赛道成绩为“好开”立标

真机、实景、试炼，才是具身智能从秀台走向工位的必由之路。

3、英格兰危！赖斯感染病毒连续缺席训练 没他踢挪威真有点悬

他曾用一年，写下了Bun这个比Node.js还快的JavaScript运行时。绿军1换5！29岁杰伦换36岁乔治，这笔交易值不值？第三步：让3D稀疏注意力真正跑起来 稀疏attention的难点在于，少算理论FLOPs不等于真实延迟一定下降。

4、阿根廷vs奥地利：卫冕冠军遇德甲军团，梅西对决朗尼克高压体系

AI Agent不再是PPT上的愿景，而是真的开始拆任务、调工具、跑流程。

5、日本球星敲响警钟：日本足球人才或将断层！后继无人恐成棘手难题

这种把智能体当作某种生命体来设计产品的思路，是他对 5 到 10 年后 AI 产业的押注。

6、美团“骑手等灯停表”功能即将上线：骑手配送中遇到红灯，系统会同步进行计时，缓解骑手配送时长压力，预计覆盖超100万骑手

PixVerse Game的思路，是一套把实时世界模型、抽象游戏机制和智能体编排放进同一闭环的实验系统。

银河通用在不到两年的时间里，以惊人的速度，完成了具身智能技术与产业应用闭环的「三连跳」。

成立至今已完成多轮融资，阿里、阶跃星辰、商汤、智谱等国内领先大模型公司集体投资。

7、轻俏不俗的浅口芭蕾舞鞋，很适合夏天

WAIC与GDPS两个舞台彼此衔接：WAIC呈现「已验证」的成果，看见未来；GDPS发掘「有潜力」的火种，做出未来。

它其实是在提前回答一个更大的问题： 当AI真正进入大规模生产时代，下一代「工厂」究竟应该长什么样？ 编辑：所罗门新智元报道 【新智元导读】618 期间，灵巧手进了某品牌真实仓库，分拣盒子与快递软包。

8、规定超40度停工所以不敢报？气象台辟谣称这是谣言

这张《岚月》角色设定图，足以证明了U1 Pro具备了「主美级」的落地能力。

Qoder Security会跨文件、跨函数追踪完整数据流，从污点源到危险汇聚点，挖出单文件视角永远看不到的隐藏关联漏洞。

6月，谷歌签下了一纸合同：每月向SpaceX支付9.2亿美元，租用11万张英伟达GPU的算力，合同一直签到2029年。

李述昊用一句话概括升级的核心： 原来要登录一堆 SaaS 后台，再开个智能体工具聊天问问。