刚刚，DeepSeek 开源新模型 Prover-V2-671B
仅用于站内搜索，没有排版格式，具体信息请跳转上方微信公众号内链接
这个模型是DeepSeek-Prover-V1.5的升级版，专门用于数学证明领域。V1.5还是参数只有7B的小模型，直接升到大模型。
模型：
https ://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
阿里通义千问，汪峰附体了
AI汪峰再上线，阿里全新大模型，32B可以比72B更聪明
总结：Qwen3依然没有逃脱汪峰定律
大家五一快乐
