DeepSeekは671兆のパラメータモデルを数学に投入しました

ディープシーク-プロバー-V2-671B 新発売

4月30日、Hugging Faceのコミュニティとページは、DeepSeek-Prover-V2-671Bモデルのソースコードを公開することを発表しました。数学定理の証明問題を解決するために開発されたこのモデルは、(MoE)の「専門家の混合」アーキテクチャを使用し、形式的推論のトレーニングにはLean 4に基づいています。

自動化の強化

パラメータのスケールが671兆に達するDeepSeek-Prover-V2-671Bは、強化学習と大規模合成データを組み合わせています。これにより、自動証明能力が大幅に向上し、多くの応用の可能性が広がります。

利用における柔軟性

このモデルはHugging Faceで紹介されており、ローカル展開と商業利用をサポートしています。これにより、研究から商業まで、さまざまな分野にモデルを適用する柔軟性と拡張性が提供されます。

注意: 上記の内容は市場情報を提供するものであり、投資のアドバイスではありません。

この記事を読んでいただきありがとうございます！

いいね、コメント、そしてTinTucBitcoinをフォローして、暗号通貨市場の最新ニュースを常に更新し、重要な情報を見逃さないようにしましょう！