DeepSeek-Prover-V2

プロダクト概要

DeepSeek-Prover-V2は、形式的定理証明を革新するためのオープンソースAIです。このプロダクトは、Lean 4での利用を前提としており、次のような特徴を持っています。

• 技術的優位性: DeepSeek-V3を基にしており、高度な機能を提供。
• 高い合格率: MiniF2Fテストで88.9％の合格率を記録。
• 問題解決実績: PutnamBenchの581問中49問を解決。

作者のコメント

Proverは今までの歴史を踏まえて、より画期的な汎用モデルの基礎を築くことが多いとされます。この動向から、今後も新しい可能性が期待されます。特に数学に特化したAIの進展は、さらなる革新を促進することが予測されます。