deepseek 51礼物来了。新671B开源。

deepseek 51礼物来了。新671B开源。

仅用于站内搜索，没有排版格式，具体信息请跳转上方微信公众号内链接

deepseek低调的开源来了，扔了一个空白readme的仓库。
基于v3训练的用于数学定理证明的大模型。
不是r2。
项目地址：https ://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B