deepseek-ai/DeepSeek-Prover-V2

396 best points · 77 comments · 1 Hacker News post · 1,324 GitHub stars · View on GitHub

Hacker News discussions

• DeepSeek-Prover-V2 (396 points, 77 comments, by meetpateltech, 2025-04-30)