文章 2025年4月30日2025年4月30日全球科技前沿 DeepSeek 发布开源数学模型 Prover-V2 作者 《中华品牌》杂志 DeepSeek-Prover-V2-671B 具有 61 个 Transformer 层，并支持具有 163...
