#Deepseek发布新模型#
DeepSeek终于赶在五一节放假前，发布了新的大模型。
可并不是之前大家所预期的推理大模型R2。
从官方号在Huggingface上传的文件名看，叫Prover（证明者），全称是DeepSeek-Prover-V2-671B，是一个跟数学推理有关的大模型，去年8月份曾发布过同样的1.5版本，用于定理证明，参数跟之前的V3一致。