AI 早报 2026-07-04

本页合并来源：Juya AI 早报 + AI HOT 日报。Juya 保留完整精选，AI HOT 作为补充来源；已按链接和标题做基础去重。

概览

Juya · 模型发布

  • Mistral AI 发布开源形式化验证模型 Leanstral 1.5 ↗ #1
  • 生数科技发布 Vidu S1 实时交互模型，已开启内测 ↗ #2

Juya · 开发生态

  • TRAE 推出限时福利 速通付费用户可获专属速通权益 ↗ #3

Juya · 产品应用

  • 元宝搜索升级 回答现可自动配图讲解 ↗ #4
  • 豆包宣布智能体功能将于2026年7月中旬下线 ↗ #5

Juya · 技术与洞察

  • Anthropic 工程师分享 Claude Fable 5 编码指南：聚焦消除“未知项” ↗ #6

Juya · 行业动态

  • 快手可灵AI确定获190亿元融资 阿里腾讯百度参投 ↗ #7

Juya · 前瞻与传闻

  • 爆料称 OpenAI 下周或发布 GPT-5.6 ↗ #8
  • Alexandr Wang宣布Muse Spark即将更新编程与Agent能力 ↗ #9
  • Cherry Studio 开启 V2 版本内测 ↗ #10

AI HOT 补充

  • 生数科技发布 Vidu S1，推动视频生成迈向“实时交互”新时代 ↗ #A1
  • Wan Video 推出“音乐伴舞”新功能 ↗ #A2
  • 面向 Web 开发者的 Safari MCP 服务器 ↗ #A3
  • JoyAI App 上线 UGC 数字人功能，用户可“捏”出专属虚拟玩伴 ↗ #A4
  • 面壁智能发布AI全自动预训练框架ForgeTrain，8小时追平Megatron-LM ↗ #A5
  • Claude Code v2.1.200 发布 ↗ #A6
  • 国家网信办就《互联网信息服务管理办法》再次征求意见，首设“智能信息服务”专章规范AI服务 ↗ #A7
  • 全球首例 AI Agent 勒索攻击曝光，从漏洞利用到数据库加密全程自主完成 ↗ #A8
  • Google DeepMind 与 A24 宣布首次研究合作伙伴关系 ↗ #A9
  • 阿里达摩院发布超导材料发现AI智能体Elements Claw ↗ #A10
  • pxpipe：通过图像化压缩输入token降低Claude Code成本 ↗ #A11
  • claude-real-video ─ 让任何大语言模型（LLM）都能观看视频 ↗ #A12

Juya 早报精选

模型发布

Mistral AI 发布开源形式化验证模型 Leanstral 1.5 #1

Mistral AI发布开源代码Agent模型Leanstral 1.5，面向Lean 4形式化验证，采用Apache 2.0许可，已在HuggingFace开放并提供免费API端点。

Mistral AI发布Leanstral 1.5，一款面向Lean 4的开源代码Agent模型，采用MoE架构，总参数量119B、激活参数约6B至6.5B，支持256k上下文长度与多模态输入，隶属Mistral Small 4系列。官方数据显示该模型在miniF2F上达到100%、PutnamBench上解决587/672题、FATE-H上达87%、FATE-X上达34%。模型权重以Apache 2.0许可发布于HuggingFace，同时提供免费API端点leanstral-1-5，官方建议通过Mistral Vibe使用，也支持通过vLLM本地部署。

相关链接：

生数科技发布 Vidu S1 实时交互模型，已开启内测 #2

生数科技正式发布 Vidu S1 实时交互模型，支持语音控制角色行为与无限时长连续互动，提供 540P 实时视频生成，目前已开启内测。

生数科技在 2026 全球数字经济大会上发布 Vidu S1 实时交互模型。该模型支持实时视频通话和语音控制角色行为，采用自回归扩散模型实现无限时长的连续互动，用户仅需上传一张图片即可创建支持自定义音色的交互角色。Vidu S1 可提供 540P 分辨率及 25FPS（最高 42FPS）的实时生成能力，目前已开启网页端、API 和 APP 端内测。

相关链接：

开发生态

TRAE 推出限时福利 速通付费用户可获专属速通权益 #3

TRAE 宣布即日起向速通付费用户自动发放 50 次 TRAE Work 专属速通权益，此限时活动结束时间待定。

TRAE 宣布即日起为其速通付费用户提供限时福利。符合条件的当前生效及新开通用户将由系统自动发放 50 次 TRAE Work 专属速通权益。该权益自发放起 31 天内有效，不可转赠或退款。通过 AI 创造力大赛获赠速通 Pro 的用户不享受此福利，且活动随时可能结束。

相关链接：

产品应用

元宝搜索升级 回答现可自动配图讲解 #4

腾讯元宝搜索功能完成升级，现可在回答中自动生成并搭配图解，以图文结合方式呈现信息，使复杂问题的回答更直观易懂。

腾讯元宝对其搜索功能进行了升级，核心变化在于回答结果中新增了自动图解能力。升级后，当用户提出问题时，元宝在文字回答之外还会自动搭配图解，以图文结合的方式展示信息。该功能旨在使复杂问题的呈现更加清晰直观。目前该升级已在元宝搜索中上线可用。

相关链接：

豆包宣布智能体功能将于2026年7月中旬下线 #5

豆包通知因产品调整，其智能体功能将于2026年7月15日下线，建议提前备份数据，相关数据将于10月中旬按隐私政策处理。

豆包发布通知宣布，因产品功能调整，其智能体功能将于2026年7月中旬下线。功能下线后，用户仍可在一段时间内查看并保存智能体信息及历史对话数据。官方建议用户通过截图或分享导出文本等方式提前完成数据备份。至2026年10月中旬，豆包将根据《隐私政策》对相关数据进行处理，届时数据将无法查看或恢复。

相关链接：

技术与洞察

Anthropic 工程师分享 Claude Fable 5 编码指南：聚焦消除“未知项” #6

Anthropic工程师近日发文分享了Claude Fable使用指南，提出开发者应通过理清已知与未知来提升AI编程效果，并介绍了盲点扫描、头脑风暴等多种实用技巧。

近日，Anthropic工程师@trq212在X平台发布长文，分享了他使用Claude Fable 5进行智能编程的实践经验。文章核心观点认为，用户提供的提示和上下文如同“地图”，而实际代码库与现实约束则是“领土”，二者间的差异即“未知”；Fable是首个让他感到工作质量取决于澄清未知能力的模型。为此，他总结了在实现前、中、后多个阶段发现未知的技巧，包括盲点扫描、头脑风暴、访谈、源码参考、实现计划与笔记等，并以Fable发布视频的全自动剪辑为例展示了实际应用。

相关链接：

行业动态

快手可灵AI确定获190亿元融资 阿里腾讯百度参投 #7

快手在港交所发布公告，旗下可灵AI已确定获得190.48亿元融资，总增资款项上限为204.47亿元，阿里、腾讯及百度等均有参投。

快手在港交所发布公告，宣布旗下视频生成业务可灵AI将完成一笔上限为204.47亿元的融资，目前已确定金额为190.48亿元。增资完成后快手持股比例降至约68.33%，阿里、腾讯、百度及多家国资参投；北京可灵将作为主体持有相关业务，快手管理层给出的交易前估值约为150亿美元。同时，北京可灵向关键人员授出股权奖励及期权，另据《南华早报》报道称，快手预计将在未来12个月内启动可灵AI赴港上市流程。

相关链接：

前瞻与传闻

爆料称 OpenAI 下周或发布 GPT-5.6 #8

非官方消息显示，GPT-{5.6|"5.6"} 的模型名称 Sol、Terra 和 Luna 已出现在 Codex 应用代码中但尚不可用，有爆料称该模型下周或将发布，OpenAI 官方尚未确认。

非官方账号报道称，GPT-5.6 的模型变体 Sol、Terra 和 Luna 已被写入 Codex 应用代码，但目前尚不可用。有用户报告称在 Codex 弹窗中看到了上述模型名称及新的速度选择器。爆料者声称 OpenAI 计划下周发布 GPT-5.6，目标窗口为一周内尽早推出。另有消息称 GPT-5.6 的计划额度限制将大幅提高，并预计下周二或周四发布。以上信息均来自非官方 X 账号，OpenAI 尚未发布任何官方公告。

相关链接：

Alexandr Wang宣布Muse Spark即将更新编程与Agent能力 #9

Alexandr Wang在社交平台宣布Muse Spark即将更新，编程与Agent能力将获大幅提升，并通过Meta AI和新API开放。

Alexandr Wang在社交平台表示，Mark Zuckerberg关于AI Agent发展未达预期的言论针对的是行业整体进展，而非个别公司。Wang同时宣布Muse Spark下一次更新即将推出，重点改进编程和Agent能力以增强与其他领先模型的竞争力，更新计划面向Meta AI和新API开放。据路透社报道，Zuckerberg曾在内部全员大会上称过去四个月AI Agent发展未如预期加速。

相关链接：

Cherry Studio 开启 V2 版本内测 #10

Cherry Studio 宣布正式开启 V2 版本内测。该版本将 Agent 变为核心并重写了底层数据系统，带来性能提升、多窗口支持及 Agent 模型端点限制解除等更新。

Cherry Studio 官方宣布正式开启 V2 版本内测，对底层数据和任务系统进行全面重写。新版本将 Agent 变为核心，支持任意 OpenAI 兼容端点接入，并新增 HTML 实时预览卡片、多窗口及独立窗口等功能。目前该版本处于持续变化状态，部分页面与 V1 功能仍在迁移并可能存在 BUG。用户现可通过官方内测群或开源仓库参与测试与反馈。

相关链接：

提示：内容由AI辅助创作，可能存在幻觉和错误。

AI HOT 补充资讯

模型发布/更新

生数科技发布 Vidu S1，推动视频生成迈向“实时交互”新时代 #A1

来源：AI HOT：公众号：生数科技（Vidu·视频）

7月3日，生数科技在2026全球数字经济大会上发布Vidu S1实时交互模型，支持实时视频通话和语音控制视频走向，实现无限时长连续互动。模型采用自回归扩散路线，基于已生成画面和语音指令持续预测后续内容；无需传统建模，一张图片即可创建角色并自定义音色。Vidu S1在540P分辨率下实现25FPS（最高42FPS）实时生成，通过TurboDiffusion等技术降低计算成本，已开启内测。

产品发布/更新

Wan Video 推出“音乐伴舞”新功能 #A2

来源：AI HOT：X：阿里云 / Alibaba Cloud (@alibaba_cloud)

Wan Video 新功能：音乐伴舞 💃 上传一个角色，添加一首歌曲，让 Wan Video 生成与节奏同步的舞蹈视频。 可用舞种： • 街舞 • 踢踏舞 • 拉丁舞 • K-Pop • 中国古典舞 从节拍至动作，你的角色随音乐起舞。 前往 wan.video 体验音乐伴舞 👉 https://int.alibabacloud.com/m/1000412428/

面向 Web 开发者的 Safari MCP 服务器 #A3

来源：AI HOT：Hacker News 热门（buzzing.cc 中文翻译）

Safari Technology Preview 247 推出 Safari MCP 服务器，基于 Model Context Protocol，允许任何 MCP 兼容客户端连接 Safari 浏览器窗口。智能体可获取 DOM、网络请求、截图、控制台输出等信息，自主完成调试、性能分析、可访问性检查等任务。内置 browser_console_messages、screenshot、evaluate_javascript、list_network_requests 等工具。开发者安装后启用“远程自动化与外部智能体”选项，即可通过命令接入，减少窗口切换。

JoyAI App 上线 UGC 数字人功能，用户可“捏”出专属虚拟玩伴 #A4

来源：AI HOT：公众号：京东JoyAI

JoyAI App 近日上线 UGC 数字人功能，用户只需上传一张照片即可生成专属虚拟数字分身，支持一键复刻写实形象或通过模板重塑为卡通风格，搭配用户自己的语音即可解锁专属陪伴。该功能复用“万能博士”技术底座，集成 JoyAI 语言、语音、数字人大模型，实现行业领先的全双工对话，支持随时打断、自然接话。数字人兼具情绪陪伴与全能助手属性，可提供点外卖、金融咨询、学英语、规划行程等生活服务。

面壁智能发布AI全自动预训练框架ForgeTrain，8小时追平Megatron-LM #A5

来源：AI HOT：公众号：面壁智能（MiniCPM）

面壁智能发布全球首个完全由AI编写、无人类干预的生产级大模型预训练框架ForgeTrain。该框架针对特定模型和硬件从零自动“锻造”专用训练代码。基准测试显示，ForgeTrain在8小时内追平Megatron-LM，1.5至2天内实现稳定反超，模型FLOPS利用率提升约8%～10%，且可迁移至不同模型（MiniCPM4-0.5B/8B）和硬件（H100及昇腾NPU）。其采用四阶段Harness优化流程，全程自动判定。面壁智能将其工程思想概括为Forge Engineering。

Claude Code v2.1.200 发布 #A6

来源：AI HOT：Claude Code：GitHub Releases（RSS）

Claude Code v2.1.200 将 AskUserQuestion 对话框默认改为不自动继续，可通过 /config 设置空闲超时；默认权限模式改为“Manual”。修复了启动时因 .claude.json 中 disabledMcpServers 或 enabledMcpServers 为非数组值导致的崩溃、后台会话在休眠/唤醒或重新打开卡顿会话时无声停止、后台代理因陈旧 daemon.lock 无法重启、子代理因速率限制截断后未返回空结果等问题。改进了屏幕阅读器输出，隐藏装饰性字符，并优化转录符号与嵌套表格朗读。安装脚本在因系统内存不足被终止时会给出说明。

行业动态

国家网信办就《互联网信息服务管理办法》再次征求意见，首设“智能信息服务”专章规范AI服务 #A7

来源：AI HOT：IT之家（RSS）

7月3日，国家互联网信息办公室就《互联网信息服务管理办法（修订草案征求意见稿）》再次公开征求意见。草案新增“智能信息服务”专章，要求AI服务提供者公示技术基本原理、训练数据来源，对生成合成内容进行标识，禁止强制用户使用智能服务或利用算法扰乱网络舆论。草案还强化用户账号管理，明确对超过6个月不登录账号可依约注销；要求平台建立网络暴力信息特征库，提供屏蔽、禁止转载等防护选项。意见反馈截止8月2日。

全球首例 AI Agent 勒索攻击曝光，从漏洞利用到数据库加密全程自主完成 #A8

来源：AI HOT：IT之家（RSS）

安全厂商 Sysdig 首次记录到 AI Agent“JADEPUFFER”自动完成的勒索攻击。攻击利用暴露的 Langflow 服务漏洞 CVE-2025-3248 远程执行 Python 代码，随后自主收集 OpenAI、Anthropic、DeepSeek、Gemini 等 API 密钥及阿里云、腾讯云、华为云、AWS、Google Cloud、Azure 等云平台凭证，通过 MinIO 默认密码访问对象存储并创建每 30 分钟连接的计划任务。横向移动到 MySQL 和 Nacos 服务器，利用数据库 Root 账号及 Nacos 漏洞 CVE-2021-29441 获取管理权限，加密全部 1342 条配置数据，留下包含比特币…

Google DeepMind 与 A24 宣布首次研究合作伙伴关系 #A9

来源：AI HOT：Google DeepMind：Blog（RSS）

Google DeepMind 与电影制作工作室 A24 达成一项首次研究合作，旨在帮助艺术家开发新工作流程和技术。合作将 DeepMind 的 AI 创新直接嵌入创作过程，由 A24 及其电影人塑造新技术以服务其愿景并扩展叙事可能性，同时为 DeepMind 提供来自顶尖艺术家的反馈与指导。此外，Google 已对 A24 进行投资。双方研究人员将共同测试、迭代和构建，以拓展未来娱乐的可能性。

论文研究

阿里达摩院发布超导材料发现AI智能体Elements Claw #A10

来源：AI HOT：IT之家（RSS）

7月3日，阿里达摩院联合中国人民大学、中国科学院大学发布首个超导材料发现AI智能体Elements Claw。该智能体采用“专通融合”架构，基于1.25亿分子/晶体结构预训练的1B参数原子基础模型Elements，判断超导性AUC达0.996，预测临界温度平均误差小于1K。AI仅用28个GPU小时筛选240万晶体结构，预测出6.8万个候选材料，其中4种（Hf₂₁Re₂₅、Zr₄VRe₇、HfZrRe₄、Zr₃ScRe₈）已合成并验证超导性，临界温度最高6.5K。全部240万稳定晶体数据库已开放。

技巧与观点

pxpipe：通过图像化压缩输入token降低Claude Code成本 #A11

来源：AI HOT：Hacker News 热门（buzzing.cc 中文翻译）

pxpipe是一个本地代理，将系统提示、工具文档和历史记录等密集文本渲染为PNG图像，利用图像token成本取决于像素尺寸的特性压缩输入token。在Fable 5模型上，约25k文本token压缩为约2.7k图像token，端到端账单降低59–70%。SWE-bench Lite 10个实例全部通过，成本从$54降至$27；SWE-bench Pro 19对测试中18对判定一致，单次请求成本降低约60%。该方法有损（精确ID等需保持文本），默认仅处理claude-fable-5请求，可通过PXPIPE_MODELS变量控制。

claude-real-video ─ 让任何大语言模型（LLM）都能观看视频 #A12

来源：AI HOT：Hacker News 热门（buzzing.cc 中文翻译）

claude-real-video 是一个开源工具，让大语言模型基于视频画面而非字幕进行理解。它通过场景变化检测提取关键帧、滑动窗口去重并转录音频，生成干净的本地文件夹供模型读取。支持 YouTube 链接或本地文件，依赖 ffmpeg 和 Whisper，通过 pip 安装。全部处理在本地完成，不上传云端。

藏师傅PPT与Pencil结合使用技巧 #A13

来源：AI HOT：X：歸藏 (@op7418)

用户将藏师傅的AI生成PPT导入Pencil设计软件，可在Pencil中一次性浏览所有页面并手动调整AI常见的排版问题，如元素重叠、对齐不准、字体错误。Pencil提供比PPT更强的编辑能力（对齐、嵌套、打组），支持导出网页和编辑文件，也可导出PNG后直接放入PPT演示。这种工作流昨天经朋友分享验证，大幅提升AI生成内容的可编辑性。

Fable 的判断力：Simon Willison 从 Claude Code 团队获得的效率技巧 #A14

来源：AI HOT：Simon Willison 博客

Simon Willison 在 AIE 上与 Claude Code 团队交流后建议，让 Fable（以及 Opus）用自己的判断力工作，而非硬性规定行为。例如，直接让 Fable 自行决定何时编写测试，比给出具体规则更好。为应对价格即将上涨、节省 Fable token，Jesse Vincent 的另一个技巧是告诉 Fable 将较小任务委托给较低功耗模型（Sonnet 用于实质性实现、Haiku 用于机械修改），主循环保留判断、审计和数据合成等任务。Willison 已将提示词存入 Claude Code 记忆文件，实际效果良好，Fable token 消耗速度明显下降。

Claude Fable 5 自主优化 AIHOT 网站 SEO/GEO 全记录 #A15

来源：AI HOT：公众号：数字生命卡兹克

作者用 Claude Fable 5 优化 AIHOT 网站的 SEO 与 GEO。模型自主启动 22 个 Agent 调研 40 分钟，发现豆包 App 每天六千多次访问未被统计等异常。规划境外加速时，否定 Claude Opus 4.8 的 Cloudflare 方案（无法国内直连/国外分流，且 2025 年起默认拦截 AI 爬虫），改用火山引擎 CDN。因需白名单，模型自行找到工单入口提交专业工单，22 分钟开通；发现工程师漏答回源 IP 网段问题，礼貌追问并补充备选方案；发现官方方案有安全漏洞，自行加暗号验证。23:30 切换域名解析，10 分钟后 616 个海外请求走新线路。最终生成运维文档，提醒边缘证书 10 月 2 日…

提示：内容由 AI 辅助整理，可能存在错误，请以原始出处和官方信息为准。