OpenBayes 一周速览｜基于 LLM，Kimi-Audio 更能识别情感的语音模型；Orpheus-TTS 零样本克隆语音，实现自定义语音对话

公共资源速递

9 个教程：

大模型 * 2

* 使用 vLLM+Open WebUI 部署 DeepSeek-Prover-V2-7B

* 使用 vLLM+Open WebUI 部署 OpenMath-Nemotron-1.5B

图像处理 * 3

* KV-Edit 背景一致性图像编辑

* StarVector 像素图转矢量图 AI 模型

* In-Context Edit：指令驱动图像生成与编辑

音频生成 * 4

* Kimi-Audio：让 AI 听懂人类

* ACE-Step：音乐生成基础模型

* parakeet-tdt-0.6b-v2 语音识别

* OrpheusTTS：多语言文本转语音模型

访问官网立即使用：openbayes.com

公共教程

大模型 * 2

1. 使用 vLLM+Open WebUI 部署 DeepSeek-Prover-V2-7B

DeepSeek-Prover-V2-7B 是专为数学 AI 编程语言 Lean 4 打造的开源大语言模型。它的最大特点是能够将非形式化的数学推理（即人类常用的推理方式）和严格的形式化证明无缝结合，让模型既能像人类一样灵活思考，又能像计算机一样严谨论证，实现了数学推理的一体化融合。

直接克隆并打开 API 地址即可与模型进行对话。

* 在线运行：

https://go.openbayes.com/AnTHh