DeepSeek-Prover-V2

DeepSeek-Prover-V2

Advancing Formal Mathematical Reasoning via RL

4 followers

Visit website
DeepSeek-Prover-V2 is an open-source AI revolutionizing formal theorem proving in Lean 4. Powered by DeepSeek-V3, it achieves an 88.9% pass rate on MiniF2F-test and solves 49/658 PutnamBench problems.
DeepSeek-Prover-V2 gallery image
DeepSeek-Prover-V2 gallery image
DeepSeek-Prover-V2 gallery image
DeepSeek-Prover-V2 gallery image
Free
Launch tags:Open Source•Artificial Intelligence•GitHub
Launch Team
Anima - Vibe Coding for Product Teams
Build websites and apps with AI that understands design.
Promoted

What do you think? …

Zac Zuo
Flowtica Scribe
Hunter
📌
DeepSeek upgrades its math-focused AI model Prover, DeepSeek-Prover-V2. Historically speaking, Provers like this often pave the way for more groundbreaking general-purpose models. What else should we expect？🤔