PANewsは4月30日、コミュニティとHugging Faceのページによると、DeepSeekが本日、数学定理の証明タスクに重点を置いた新しいモデル、DeepSeek-Prover-V2-671Bをオープンソース化したと報じた。このモデルは、専門家混合 (MoE) アーキテクチャに基づいており、正式な推論トレーニングに Lean 4 フレームワークを使用します。パラメータサイズは 671B で、強化学習と大規模な合成データを組み合わせることで、自動証明機能が大幅に向上します。このモデルはHugging Faceで公開されており、現地での展開と商用利用をサポートしています。