tech
DeepSeek-Prover-V2 révolutionne la preuve automatique avec une recherche récursive innovante
DeepSeek AI dévoile DeepSeek-Prover-V2, un LLM open source dédié à la preuve de théorèmes en Lean 4. Grâce à une recherche récursive et un entraînement par renforcement, il domine le benchmark MiniF2F, repoussant les limites du raisonnement formel automatisé.
5 min
30 avr · 06h21