#定理証明 の記事一覧（1）

DeepSeek-Prover-V2とは？数学定理を自動証明するLean 4対応モデルをMiniF2F 88.9%精度で解説

DeepSeek AIが、形式的定理証明に特化したオープンソースLLM「DeepSeek-Prover-V2」を公開しました。671BパラメータのフラッグシップモデルはMiniF2F-testで88.9%の正答率を達成し、PutnamBenchでも658問中49問を解いて新たな最高水準を示しています。