DeepSeek-Prover-V2

DeepSeek-Prover-V2是DeepSeekAI最新开源的大模型。根据猜测，这是一个可以用来帮助研究者做数学推理的大模型。