中国人工智能实验室DeepSeek已升级其AI模型 鄙视，旨在解决与数学相关的证明和定理，周三在AI开发平台上发布了V2版本。
最新版本似乎是在DeepSeek的V3型号之上构建的，该模型具有6710亿个参数，并利用了Experts（MOE）体系结构的混合物。该体系结构使模型能够将复杂的任务分解为子任务，并将其委派给专门的“专家”组件。
在AI模型的背景下，参数是对模型解决问题能力的粗略度量。 DeepSeek 八月份的最后一次更新的供奉献将其描述为正式定理证明和数学推理的自定义模型。
随着DeepSeek继续扩大其AI产品，升级是随之而来的。 2月，路透社报道说，该公司正在考虑第一次筹集资金。最近，DeepSeek发布了其通用V3模型的升级版本，并有望很快更新其R1“推理”模型。
