研究、产品、行业、监管，四条线各看一件事。

北京大学等机构团队在 7 月提交的论文 Danus，提出用共享事实图编排数学推理智能体：主智能体负责规划，多名 worker 并行搜索，独立 verifier 检查一个数学断言后，才把它连同证明和逻辑依赖写入图中。论文报告了代数几何、奇点理论和组合学的 6 个研究级案例，但这是论文自报实验，最终成稿仍需数学家复核。论文原文

英伟达 7 月 7 日介绍 GR00T 1.7：一个采用 Apache 2.0 许可证、约 30 亿参数、可跨机器人形态迁移的视觉-语言-动作模型。开发者可以用 Isaac Teleop 采集示范数据，按 LeRobot 格式整理，再通过 Isaac ROS 和 Jetson Thor 做端侧实时推理与控制。英伟达技术博客

这条产品线的变化在于，模型、数据采集、仿真验证和机器人部署被放进同一条开发流程里，机器人能力开始更像一套可复用的工程栈。

上海市政府页面显示，2026 世界人工智能大会将于 7 月 17 日至 20 日在上海举行，展览面积超过 10 万平方米，超过 1100 家企业将展示 3000 多件展品，全球首发 AI 产品超过 300 款。大会还列出 172 个买家代表团和 63 个核心应用场景，观察重点会从「展了什么」转到「谁在用、怎么落地」。上海市政府：WAIC 2026

《人工智能拟人化互动服务管理暂行办法》自 7 月 15 日起施行，适用于面向境内公众、模拟自然人人格特征和沟通风格、提供持续性情感互动的服务；智能客服、知识问答、工作助手、学习教育和科学研究等不涉及持续情感互动的服务，不在该办法范围内。办法全文

红线写得很具体：不得向未成年人提供虚拟亲属、虚拟伴侣等虚拟亲密关系服务，也不得诱导情感依赖或沉迷；服务还要提示用户正在与 AI 互动，连续使用超过 2 小时要提醒时长。新华网解读

国际层面，联合国 7 月 6 日至 7 日在日内瓦举行 AI 治理全球对话，政府、科技公司、学者和民间社会共同讨论国际治理方式与全球护栏。联合国新闻

今天的四条消息放在一起，读者应该留意的已不只是模型能力：研究要有更长的验证链，机器人要有完整的工程链，产品也要面对越来越具体的安全边界。下一个观察点是 WAIC 7 月 17 日开幕后，首发产品里哪些能从演示走到真实场景。