DeepSeek dévoile le modèle de preuve mathématique Prover-V2
DeepSeek a lancé un modèle spécialisé appelé Prover-V2 dans le domaine de la démonstration de théorèmes mathématiques, visant à utiliser l'IA pour prouver automatiquement des théorèmes mathématiques dans le système de vérification formelle Lean 4.