Deepseek-Prover-V2
Avocation du raisonnement mathématique formel via RL
En vedette
2 Votes
Description
Deepseek-Prover-V2 est une IA de source ouverte révolutionnant le théorème formel qui se prouve dans Lean 4. Propulsé par Deepseek-V3, il atteint un taux de réussite de 88,9% sur le test MINIF2F et résout 49/658 Putnambench.