根据Kuai Technology 4月30日，DeepSeek在AI开源的拥抱中发布了一种新模型，称为DeepSeek-Prover-V2-671B。 According to reports, the parameters of DeepSeek-prover-V2-671B reached 671 billion, use a better file format of safetens, and supports various calculation accuracy such as BF16, FP8, F32, etc. Some netizens have evaluated that the model is considered an upgraded version of Proverbs-V1.5, focusing on formal theorem proof, which is specially used to overcome mathematical problems, excellent in自动证明定理和复杂的计算，类似于GO上Alphago的自准备方法。值得希望如何在下一个测试中执行其性能。 [本文的结尾]如果您需要打印，请确保指示来源：Kuai技术编辑：Qiubai