这个模型是DeepSeek-Prover-V1.5的升级版,专门用于数学证明领域。V1.5还是参数只有7B的小模型,直接升到大模型。
模型:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
总结:Qwen3依然没有逃脱汪峰定律
大家五一快乐
这个模型是DeepSeek-Prover-V1.5的升级版,专门用于数学证明领域。V1.5还是参数只有7B的小模型,直接升到大模型。
模型:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
总结:Qwen3依然没有逃脱汪峰定律
大家五一快乐
热门跟贴