开yun体育网浅易模子更快、更省资源地检会和部署-开云(中国)Kaiyun·官方网站

就在刚刚开yun体育网，DeepSeek 在公共最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模子。

笔据现在公布的信息，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文献法子，并扶持多种运筹帷幄精度，浅易模子更快、更省资源地检会和部署。

从定名上看，这款参数高达 6710 亿的模子可能是客岁发布的数学 AI 模子 Prover-V1.5 的升级版。

客岁开源的 Prover-V1.5 固然只须 70 亿参数，但在高中数学测试（miniF2F）中凯旋率达到 63.5%，在大学级别测试（ProofNet）中也拿下了 25.3%，超过了多款开源模子（InternLM2-StepProver、Llemma）。

不少网友料到，这款模子不竭了前作 Prover-V1.5 的格调，终点用来攻克数学繁难，尤其擅长自动解释定理、作念复杂运筹帷幄，比如像 AlphaGo 下围棋雷同，通过「自我对弈」来学数学。

接下来它会领略如何，值得期待。

附上 Hugging Face 地址：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B