Home在4月30日报道说，DeepSeek在AI开源中发布了一种新模型，称为DeepSeek-Prover-V2-671B，以拥抱今天的拥抱。 DeepSeek-Prover-V2-671b使用更好的SafenenSor文件格式，并支持各种精确度计算，例如BF16，FP8，F32等，该模型的该模型最高为6710亿个，最高为671亿个，可能是升级版本的Mathematical AI Model Model Model-Model Prover-ver-v1.5发布的版本。