Model ReleasesDécouvrez DeepSeek-Prover, le nouveau modèle de raisonnement de 7B paramètres spécialisé dans la démonstration de théorèmes avec Lean 4.il y a environ 2 ans4 min de lecture
