继 2 月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4 月 30 日，DeepSeek 上线新模型 DeepSeek-Prover-V2，这是一个数学定理证明专用模型。Prover-V2 的参数规模进一步扩展到 671B（6710 亿规模参数），相较于前一代 V1.5 版本的 7
继 2 月论文“撞车”之后，梁文锋和杨植麟又在另一个大模型赛道上相遇了。4 月 30 日，DeepSeek 上线新模型 DeepSeek-Prover-V2，这是一个数学定理证明专用模型。Prover-V2 的参数规模进一步扩展到 671B（6710 亿规模参数），相较于前一代 V1.5 版本的 7
By zac81t1297