北京
分享至
这个模型是DeepSeek-Prover-V1.5的升级版，专门用于数学证明领域。V1.5还是参数只有7B的小模型，直接升到大模型。
模型：
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
总结：Qwen3依然没有逃脱汪峰定律
大家五一快乐
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
