方才DeepSeek 开源新模子

　　按照目前发布的消息，DeepSeek-Prover-V2-671B 利用了更高效的 safetensors 文件格局，并支撑多种计较精度，便利模子更快、更省资本地锻炼和摆设。从定名上看，这款参数高达 6710 亿的模子可能是客岁发布的数学 AI 模子 Prover-V1。5 的升级版。这款模子延续了前做 Prover-V1。5 的气概，特地用来霸占数学难题，特别擅长从动证明、做复杂计较。