100
DeepSeek-Prover-V2
freemium
Résolvez des théorèmes complexes en Lean 4 grâce à DeepSeek-Prover-V2, un modèle open source combinant raisonnement informel et preuves formelles.
Visiter le siteInformations
Catégorie
LLM models
Tags
LLM models
Langues supportées
EN
Besoin d'aide pour intégrer cet outil ?
Notre équipe peut vous accompagner dans la mise en place et l'intégration de cet outil dans votre entreprise.
Nous contacter