实时 AI 消息
DeepSeek 官方更新 DeepSeek-V4-Pro-0813 模型，新版本上线 Hugging Face
DeepSeek 官方在 Hugging Face 更新了 DeepSeek-V4-Pro-0813 文本生成模型，新条目采用 transformers 与 safetensors 格式，支持对话任务并标记为端点兼容。该模型以 MIT 许可证发布，截至上线时已获得 174 个收藏。
DeepSeek 官方于 8 月 13 日通过 Hugging Face 模型库更新了 DeepSeek-V4-Pro-0813，这是 DeepSeek-V4 系列的最新模型条目，面向文本生成场景。
根据官方注册信息，该模型使用 transformers 库与 safetensors 格式，标注为 deepseek_v4 系列，支持对话（conversational）类任务，并被标记为 endpoints_compatible，意味着可以通过标准推理端点直接部署使用。
模型采用 MIT 许可证，属于对商用友好的开源许可；注册条目还关联了 arXiv 论文编号 2606.19348。截至更新时，模型页面显示下载量为 0、收藏数为 174，说明这是一个刚刚上线的新版本。
从模型名称中的日期编码 0813 来看，该版本对应 8 月 13 日发布的更新，Pro 后缀则表明这是 V4 系列中的强化版本，延续了官方对开源旗舰模型的持续迭代节奏。
值得关注的是，Pro 版本的上线意味着 DeepSeek 在模型质量与部署友好性上继续加码。MIT 许可与 endpoints_compatible 的组合，也让第三方平台能够更快地将该模型接入自己的推理服务。
接下来值得留意的是该模型的技术细节与基准表现是否会随模型卡更新而公布，以及 DeepSeek 官方 API 是否会同步提供 Pro 版本的服务。
为什么重要
DeepSeek-V4 系列持续更新表明开源旗舰模型仍处于高频迭代期，MIT 许可证与端点兼容标签将加速该模型在第三方平台的部署与商用。
附近消息
全部08/14 00:51
加州多项 AI 法案今日迎来最终表决：覆盖聊天机器人安全、版权与美国优先委员会
据 Tech Times 报道，加州多项 AI 法案将在今日迎来最终表决，涉及聊天机器人安全、生成式 AI 版权责任以及设立美国优先的 AI 委员会等内容。表决结果将直接影响美国 AI 监管格局。
08/14 01:03
谷歌发布Gemini 3.7 Flash：面向编程与智能体工作流的新模型
谷歌发布新一代模型Gemini 3.7 Flash，主打编程与智能体工作流场景。据路透社报道，该模型延续Flash系列轻量快速的定位，面向开发者高频调用需求，有望在代码生成与智能体任务中降低延迟和成本。
08/13 23:52
MiniMax更新Music3音乐生成模型：文本一键生成音频
MiniMax官方在Hugging Face更新了Music3模型，该模型面向文本到音频（text-to-audio）生成场景，支持音乐生成与文本转音乐任务。模型库采用sglang-omni，并兼容diffusers与safetensors格式。
08/14 01:07
OpenAI聘请Dali Rajic出任新任首席营收官，管理层重组持续
OpenAI聘请Dali Rajic出任新任首席营收官（CRO），他将接管公司的销售业务，成为OpenAI最高的销售负责人。这是OpenAI持续进行的管理层重组的最新一步，凸显出公司在商业化竞争加剧背景下对企业销售部门的重视。