OpenBMB面壁智能
面壁智能让 AI 学会翻译数学命题 — 中国 AI 公司开始啃硬技术
自动形式化是让 AI 把数学命题翻译成机器能验的代码。面壁智能这周开源 MathForm 和 36.7 万条数据集,把这条流水线从手工活做成自动化。背后信号:中国 AI 公司正从拼参数转向啃工程深度。
Aug 22·2 分钟
OpenBMBVoxCPM2
面壁智能开源多语言语音模型VoxCPM2 — 高质量声音克隆不再是闭源专属
面壁智能发布开源TTS模型VoxCPM2,支持30种语言及声音克隆。它用连续表征技术保留了声音情绪细节,我们判断高质量语音合成门槛正大幅降低,中小企迎来可商用平替。
May 2·2 分钟