2025年4月30日，DeepSeek团队正式发布了DeepSeek-Prover-V2-671B模型，这标志着AI在数学推理和自动定理证明领域迈入了一个新的纪元。什么是DeepSeek-Prover-V2-671B？DeepSeek-Pr