April 30th.DeepSeek Today at AI Open SourceThe community Hugging Face has released a new program called DeepSeek-Prover-V2-671B ofNew Model.
DeepSeek-Prover-V2-671B uses a more efficient safetensors file formatIt also supports BF16, FP8, F32, etc., which facilitates faster and more resource-saving training and deployment of models.
The naming suggests that the model, which has a whopping 671 billion parameters, could be an upgrade to Prover-V1.5, the mathematical AI model released last year.
As of 1AI's posting, DeepSeek has not officially released a performance profile for this model, which is open-sourced at the following address:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main
statement:The content of the source of public various media platforms, if the inclusion of the content violates your rights and interests, please contact the mailbox, this site will be the first time to deal with.