DeepSeek が DeepSeek-Prover-V2 を発表: 再帰的証明検索と新しいベンチマークによるニューラル定理証明の進歩

DeepSeek AI は、リーン 4 定理証明用のオープンソース LLM である DeepSeek-Prover-V2 をリリースします。トレーニング データと強化学習に DeepSeek-V3 による再帰的証明検索を使用し、MiniF2F で最高の結果を達成します。ディー…

概要は情報提供のみを目的としてまとめられています。全文についてはソース リンクを参照してください。デモのエントリは一例です。