中国人工智能实验室 DeepSeek 已悄然更新专为解决数学证明与定理设计的 AI 模型 Prover。
据《南华早报》报道，DeepSeek 于周三晚些时候在 AI 开发平台 Hugging Face 上传了 Prover 最新版本 V2 及一个蒸馏变体。该模型似乎基于公司 6710 亿参数、采用混合专家（MoE）架构的 V3 模型构建。
参数规模大致对应模型的解题能力；MoE（混合专家模型）则将任务分解为子任务，并委派给更小、更专业的“专家”组件处理。
DeepSeek 曾于去年八月更新 Prover，将其定位为用于形式化定理证明和数学推理的自定义开源 AI 模型。
今年二月，路透社报道称 DeepSeek 正考虑寻求首次外部融资。该公司近期发布了升级版 V3 通用模型，并预计很快将更新其 R1 “推理”模型。