这个模型是DeepSeek-Prover-V1.5的升级版,专门用于数学证明领域。V1.5还是参数只有7B的小模型,直接升到大模型。

模型:

https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B

总结:Qwen3依然没有逃脱汪峰定律

大家五一快乐