DeepSeek-Prover-V2モデルは、数学の定理を厳密なコンピュータ検証可能な証明プロセスに変換することに重点を置いています。
ディープシークは5月1日、数学的証明のために設計されたDeepSeek-Prover2モデルをオープンソース化した。
-- ログインオプションの追加
