AI証明のニュースと分析

DeepSeek、数学証明モデルProver-V2を発表

DeepSeekは、Lean 4形式検証システム内で数学定理を自動証明する専用モデルProver-V2をリリースし、miniF2Fベンチマークで最新のトップ水準に迫る成果を達成した。