Images Figure
DeepSeek发布Prover-V2模型：671B参数助力数学定理证明
ブログ

ディープシーク、Prover-V2モデルをリリース：671Bパラメータが数学的定理証明を強化

ディープシークは5月1日、数学的証明のために設計されたDeepSeek-Prover2モデルをオープンソース化した。

アイブス・フェン 1 2025年5月