DeepSeek-Prover-V2

What it does

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.

Contribute to deepseek-ai/DeepSeek-Prover-V2 development by creating an account on GitHub.

We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals. The proofs of resolved subgoals are synthesized into a chain-of-thought process, combined with DeepSeek-V3's step-by-step reasoning, to create an initial cold start for reinforcement learning. This process enables us to integrate both informal and formal mathematical reasoning into a unified model. To construct the cold-start dataset, we develop a simple…from github.com

• 
  DeepSeek R12025 · github.com · ▲322

  Advanced reasoning model

• 
  DeepSeek-VL22025 · github.com · ▲503

  MoE vision-language, now easier to access

• 
  DeepSeek-V3.12025 · chat.deepseek.com · ▲417

  The best-performing and best of value open-source AI model

• 
  DeepSeek-V3.2Dec 2025 · huggingface.co · ▲198

  Reasoning-first models built for agents

• 
  DeepSeek-R1-05282025 · huggingface.co · ▲218

  New open-source LLM that rivals o3 in coding & reasoning

• 
  DeepSeek-V4Apr 2026 · huggingface.co · ▲387

  The open-source era of 1M context intelligence

• 
  Spira Maxima▲578

  Video model that turns script into viral social media videos

  AI · 17d ago · spira.ai

• 
  Rill Browser▲540

  The browser where Claude Code and Codex work beside you

  AI · 16d ago · rill.love

• 
  Germany's new sovereign AI model Kolibri▲424

  Kolibri is Aleph Alpha

  AI · 18d ago · tej.as

• 
  Giving Opus 5.5 a simulated paint canvas▲392

  Paintings by AI models: programs run through a simulation of oil paint.

  AI · 20d ago · stillwet.art

• 
  Onepin▲384

  AI voiceover with every name, price and date said right

  AI · 30d ago · onepin.ai

• 
  PixVerse R2▲381

  A real-time world model you can explore and change

  AI · 28d ago · world.pixverse.video

• 
  Tapflow 2.0▲1,125

  We built Tapflow for devs, designers, PMs, and tech folks who’ve been sitting on internal docs, templates, and systems — but never productized them. Upload a PDF, notes, or workshop deck, and Tapflow drafts a structured product (with chapters, teaser and pricing plans). It’s good for AI kits, onboarding guides, design systems, and frameworks. You can sell through Stripe, LemonSqueezy, or PayPal. Real-time collaboration is in early beta. No site builder, no LMS — clean design and just focused tools to ship. Fully bootstrapped and just launched on PH today →…

  Work · 2025 · tapflow.ai

• C9
  Clippy – 90s UI for local LLMs▲1,122

  Life & fun · 2025 · felixrieseberg.github.io

• 
  Appwrite Sites▲990

  Appwrite 2.0 brings a new engine, a rebuilt Console, five database types, an S3 API, an OAuth 2.1 server, and organization-level Domains and Firewall.

  Dev tools · 2025 · appwrite.io

• 
  AI Meeting Notes by Notion▲965

  Perfect meeting memory in Notion

  AI · 2025 · notion.com

• 
  Den▲948

  Multiplayer AI agent builder

  AI · 2025 · getden.io

• 
  Raycast for iOS▲870

  Powerful productivity on the go

  AI · 2025 · raycast.com