![](https://assets.juya.uk/imagehub/20260704/2026070408365346241928be_cover_bf22.png) # AI 早报 2026-07-04 **视频版**：[哔哩哔哩](https://www.bilibili.com/video/BV1hYTf6gEQY) ｜ [YouTube](https://www.youtube.com/watch?v=-tGal_bd5Dg) ## 概览 ### 模型发布 - Mistral AI 发布开源形式化验证模型 Leanstral 1.5 [↗](https://mistral.ai/news/leanstral-1-5/) `#1` - 生数科技发布 Vidu S1 实时交互模型，已开启内测 [↗](https://mp.weixin.qq.com/s/RuukpnoOA2tI0ERCNrLgtQ) `#2` ### 开发生态 - TRAE 推出限时福利 速通付费用户可获专属速通权益 [↗](https://mp.weixin.qq.com/s/w1nrDRBn4e8VKK3s9SPVSw) `#3` ### 产品应用 - 元宝搜索升级 回答现可自动配图讲解 [↗](https://mp.weixin.qq.com/s/tv0sTMTiT6L2L2W2piSzbA) `#4` - 豆包宣布智能体功能将于2026年7月中旬下线 [↗](https://www.ithome.com/0/972/448.htm) `#5` ### 技术与洞察 - Anthropic 工程师分享 Claude Fable 5 编码指南：聚焦消除“未知项” [↗](https://x.com/trq212/status/2073100352921215386) `#6` ### 行业动态 - 快手可灵AI确定获190亿元融资 阿里腾讯百度参投 [↗](https://zhidx.com/p/572375.html) `#7` ### 前瞻与传闻 - 爆料称 OpenAI 下周或发布 GPT-5.6 [↗](https://x.com/testingcatalog/status/2073049917266821338) `#8` - Alexandr Wang宣布Muse Spark即将更新编程与Agent能力 [↗](https://x.com/alexandr_wang/status/2072848108342677597) `#9` - Cherry Studio 开启 V2 版本内测 [↗](https://mp.weixin.qq.com/s/U4FoUw-K7O7wxT5wM8iZbA) `#10` --- ## 模型发布 ### [Mistral AI 发布开源形式化验证模型 Leanstral 1.5](https://mistral.ai/news/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本地部署。 ![](https://assets.juya.uk/imagehub/aidaily/bf225e69-5e7d-4d99-aaa2-3504afc96d93/5c1829e6-d29a-4b64-9773-5f1327ebe294/m001_a52c101a.png) 相关链接： - [https://mistral.ai/news/leanstral-1-5/](https://mistral.ai/news/leanstral-1-5/) - [https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B](https://huggingface.co/mistralai/Leanstral-1.5-119B-A6B) --- ### [生数科技发布 Vidu S1 实时交互模型，已开启内测](https://mp.weixin.qq.com/s/RuukpnoOA2tI0ERCNrLgtQ) `#2` > 生数科技正式发布 Vidu S1 实时交互模型，支持语音控制角色行为与无限时长连续互动，提供 540P 实时视频生成，目前已开启内测。 生数科技在 2026 全球数字经济大会上发布 Vidu S1 实时交互模型。该模型支持实时视频通话和语音控制角色行为，采用自回归扩散模型实现无限时长的连续互动，用户仅需上传一张图片即可创建支持自定义音色的交互角色。Vidu S1 可提供 540P 分辨率及 25FPS（最高 42FPS）的实时生成能力，目前已开启网页端、API 和 APP 端内测。 相关链接： - [https://mp.weixin.qq.com/s/RuukpnoOA2tI0ERCNrLgtQ](https://mp.weixin.qq.com/s/RuukpnoOA2tI0ERCNrLgtQ) - [https://www.vidu.cn/vidu-stream](https://www.vidu.cn/vidu-stream) - [https://platform.vidu.cn/live/landing](https://platform.vidu.cn/live/landing) --- ## 开发生态 ### [TRAE 推出限时福利 速通付费用户可获专属速通权益](https://mp.weixin.qq.com/s/w1nrDRBn4e8VKK3s9SPVSw) `#3` > TRAE 宣布即日起向速通付费用户自动发放 50 次 TRAE Work 专属速通权益，此限时活动结束时间待定。 TRAE 宣布即日起为其速通付费用户提供限时福利。符合条件的当前生效及新开通用户将由系统自动发放 50 次 TRAE Work 专属速通权益。该权益自发放起 31 天内有效，不可转赠或退款。通过 AI 创造力大赛获赠速通 Pro 的用户不享受此福利，且活动随时可能结束。 ![](https://assets.juya.uk/imagehub/aidaily/bf225e69-5e7d-4d99-aaa2-3504afc96d93/cfb1562e-f355-49e1-8060-10f446ad0b5d/m001_9c5272e9.png) 相关链接： - [https://mp.weixin.qq.com/s/w1nrDRBn4e8VKK3s9SPVSw](https://mp.weixin.qq.com/s/w1nrDRBn4e8VKK3s9SPVSw) --- ## 产品应用 ### [元宝搜索升级 回答现可自动配图讲解](https://mp.weixin.qq.com/s/tv0sTMTiT6L2L2W2piSzbA) `#4` > 腾讯元宝搜索功能完成升级，现可在回答中自动生成并搭配图解，以图文结合方式呈现信息，使复杂问题的回答更直观易懂。 腾讯元宝对其搜索功能进行了升级，核心变化在于回答结果中新增了自动图解能力。升级后，当用户提出问题时，元宝在文字回答之外还会自动搭配图解，以图文结合的方式展示信息。该功能旨在使复杂问题的呈现更加清晰直观。目前该升级已在元宝搜索中上线可用。 相关链接： - [https://mp.weixin.qq.com/s/tv0sTMTiT6L2L2W2piSzbA](https://mp.weixin.qq.com/s/tv0sTMTiT6L2L2W2piSzbA) --- ### [豆包宣布智能体功能将于2026年7月中旬下线](https://www.ithome.com/0/972/448.htm) `#5` > 豆包通知因产品调整，其智能体功能将于2026年7月15日下线，建议提前备份数据，相关数据将于10月中旬按隐私政策处理。 豆包发布通知宣布，因产品功能调整，其智能体功能将于2026年7月中旬下线。功能下线后，用户仍可在一段时间内查看并保存智能体信息及历史对话数据。官方建议用户通过截图或分享导出文本等方式提前完成数据备份。至2026年10月中旬，豆包将根据《隐私政策》对相关数据进行处理，届时数据将无法查看或恢复。 ![](https://assets.juya.uk/imagehub/aidaily/bf225e69-5e7d-4d99-aaa2-3504afc96d93/a5dfaa6b-63d2-4744-b9d1-6ca8b5a5a7ad/m001_cf8a0de0.png) 相关链接： - [https://www.ithome.com/0/972/448.htm](https://www.ithome.com/0/972/448.htm) --- ## 技术与洞察 ### [Anthropic 工程师分享 Claude Fable 5 编码指南：聚焦消除“未知项”](https://x.com/trq212/status/2073100352921215386) `#6` > Anthropic工程师近日发文分享了Claude Fable使用指南，提出开发者应通过理清已知与未知来提升AI编程效果，并介绍了盲点扫描、头脑风暴等多种实用技巧。 近日，Anthropic工程师@trq212在X平台发布长文，分享了他使用Claude Fable 5进行智能编程的实践经验。文章核心观点认为，用户提供的提示和上下文如同“地图”，而实际代码库与现实约束则是“领土”，二者间的差异即“未知”；Fable是首个让他感到工作质量取决于澄清未知能力的模型。为此，他总结了在实现前、中、后多个阶段发现未知的技巧，包括盲点扫描、头脑风暴、访谈、源码参考、实现计划与笔记等，并以Fable发布视频的全自动剪辑为例展示了实际应用。 ![](https://assets.juya.uk/imagehub/aidaily/bf225e69-5e7d-4d99-aaa2-3504afc96d93/c241c745-da77-4a78-935a-42e86ff95512/m001_6172df03.png) 相关链接： - [https://x.com/trq212/status/2073100352921215386](https://x.com/trq212/status/2073100352921215386) --- ## 行业动态 ### [快手可灵AI确定获190亿元融资 阿里腾讯百度参投](https://zhidx.com/p/572375.html) `#7` > 快手在港交所发布公告，旗下可灵AI已确定获得190.48亿元融资，总增资款项上限为204.47亿元，阿里、腾讯及百度等均有参投。 快手在港交所发布公告，宣布旗下视频生成业务可灵AI将完成一笔上限为204.47亿元的融资，目前已确定金额为190.48亿元。增资完成后快手持股比例降至约68.33%，阿里、腾讯、百度及多家国资参投；北京可灵将作为主体持有相关业务，快手管理层给出的交易前估值约为150亿美元。同时，北京可灵向关键人员授出股权奖励及期权，另据《南华早报》报道称，快手预计将在未来12个月内启动可灵AI赴港上市流程。 相关链接： - [https://zhidx.com/p/572375.html](https://zhidx.com/p/572375.html) --- ## 前瞻与传闻 ### [爆料称 OpenAI 下周或发布 GPT-5.6](https://x.com/testingcatalog/status/2073049917266821338) `#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 尚未发布任何官方公告。 ![](https://assets.juya.uk/imagehub/aidaily/bf225e69-5e7d-4d99-aaa2-3504afc96d93/0c6856b5-e05b-40a6-90bd-71290fd6621f/m001_380bb495.png) 相关链接： - [https://x.com/testingcatalog/status/2073049917266821338](https://x.com/testingcatalog/status/2073049917266821338) - [https://x.com/DevAdventur3s/status/2073141065750904923](https://x.com/DevAdventur3s/status/2073141065750904923) --- ### [Alexandr Wang宣布Muse Spark即将更新编程与Agent能力](https://x.com/alexandr_wang/status/2072848108342677597) `#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发展未如预期加速。 ![](https://assets.juya.uk/imagehub/aidaily/bf225e69-5e7d-4d99-aaa2-3504afc96d93/68101355-33e8-4264-8d97-dce29cc96cf6/m001_97e48c0a.png) 相关链接： - [https://x.com/alexandr_wang/status/2072848108342677597](https://x.com/alexandr_wang/status/2072848108342677597) --- ### [Cherry Studio 开启 V2 版本内测](https://mp.weixin.qq.com/s/U4FoUw-K7O7wxT5wM8iZbA) `#10` > Cherry Studio 宣布正式开启 V2 版本内测。该版本将 Agent 变为核心并重写了底层数据系统，带来性能提升、多窗口支持及 Agent 模型端点限制解除等更新。 Cherry Studio 官方宣布正式开启 V2 版本内测，对底层数据和任务系统进行全面重写。新版本将 Agent 变为核心，支持任意 OpenAI 兼容端点接入，并新增 HTML 实时预览卡片、多窗口及独立窗口等功能。目前该版本处于持续变化状态，部分页面与 V1 功能仍在迁移并可能存在 BUG。用户现可通过官方内测群或开源仓库参与测试与反馈。 ![](https://assets.juya.uk/imagehub/aidaily/bf225e69-5e7d-4d99-aaa2-3504afc96d93/2ddbab7a-8fd7-4f84-a6e5-3055af3349ad/m001_89f53401.png) 相关链接： - [https://mp.weixin.qq.com/s/U4FoUw-K7O7wxT5wM8iZbA](https://mp.weixin.qq.com/s/U4FoUw-K7O7wxT5wM8iZbA) --- **提示**：内容由AI辅助创作，可能存在**幻觉**和**错误**。