DeepSeek-Prover-V2 icône

DeepSeek-Prover-V2

#139 dans Modèles LLM
4.4/5
« Résolvez des théorèmes complexes en Lean 4 grâce à un modèle open source combinant raisonnement informel et preuves formelles. Décomposez les problèmes en sous-objectifs et générez des solutions détaillées »
En savoir plus : ChatGPT Perplexity
Gratuit 4094
★ Outils IA de Prestige ★
IA Alternatives à DeepSeek-Prover-V2
Freemium
Gratuit
Gratuit
Payant
Payant
Freemium
Freemium
Payant