上一篇比较简单的文章，其实已经介绍了昨天DeepSeek-Prover-V2-671B的相关介绍，本来已经是节假日了，想着不写了。DeepSeek发布新模型，不是R2，而是Prover-V2-671B数学证明模型结果在一个群里，看到某大佬发