DeepSeek升级了以数学为中心的AI模型摊子

中国人工智能实验室DeepSeek悄悄地更新了供Prover，它的AI模型旨在解决与数学相关的证明和定理。

根据《南中国晨报》的报道，DeepSeek上传了最新版本的Prover，V2和AI Dev Platform在周三晚些时候拥抱面孔的AI Dev Platform。它似乎建立在启动的V3型号的顶部，该型号具有6710亿个参数，并采用了Experts（MOE）体系结构的混合物。

参数与模型解决问题的技能大致相对应，而MoE将任务分解为子任务，并将其委派给较小的专业“专家”组件。 

DeepSeek在八月份的最后更新的供奉献者，当时将其描述为公开可用的AI模型，用于正式定理和数学推理。

2月，路透社报道说，据说DeepSeek正在考虑第一次筹集资金。该公司最近发布了UV3的Pgraded版本是通用模型，并有望尽快更新其R1“推理”模型。