就在刚刚，Deepseek在huggingface发了新模型，既不是R2，也不是V4！而是倒退版本、从来没有听过的DeepSeek-Prover-V2-671B模型，新的专家模型！DeepSeek-Prover-V2-671B是基于Deep