DeepSeek Unveils DeepSeek-Prover-V2: Advancing Neural Theorem Proving with Recursive Proof Search and a New Benchmark

DeepSeek-Prover-V2 is an open-source LLM for formal theorem proving. It utilizes recursive proof search and DeepSeek-V3 for training, achieving state-of-the-art performance on the MiniF2F benchmark. This advancement significantly boosts capabilities in automated mathematical reasoning.

Opening Kapyn…