DeepSeek发布6710亿参数AI新模型DeepSeek-Prover-V2-671B，支持多种计算精度
AI开源社区Hugging Face近日迎来了一位新成员——DeepSeek-Prover-V2-671B，这是由DeepSeek发布的一款全新AI模型。该模型采用了更高效的safetensors文件格式，并支持BF16、FP8、F32等多种计算精度，使得模型在训练和部署过程中能够更快、更节省资源。从命名上来看，DeepSeek-Prover-V2-671B很可能是DeepSeek去年发布的数学AI模型Prover-V1.5的升级版。这款新模型拥有高达6710亿的参数规模，显示出其在处理复杂任务时的强大能力。
尽管DeepSeek官方在发布时暂未详细介绍该模型的性能表现，但其在计算精度和文件格式上的优化已经引起了业界的广泛关注。DeepSeek-Prover-V2-671B的开源地址已经公布，供研究人员和开发者们进行深入探索和应用。
随着AI技术的不断发展，拥有大规模参数和高效计算能力的模型正成为研究的热点。DeepSeek-Prover-V2-671B的发布无疑为这一领域注入了新的活力，期待其在未来能够展现出更加出色的性能和应用前景。
页:
[1]