尊龙凯时体育这款模子不时了前作 Prover-V1.5 的格调-尊龙凯龙时官网进入(中国)网页版入口

就在刚刚，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