DeepSeek a dévoilé Prover-V2, une IA open source qui fusionne raisonnement mathématique informel et démonstration de théorèmes. Avec ses 671 milliards de paramètres, elle atteint un taux de réussite impressionnant de 88,9 % sur le benchmark MiniF2F. Particularité : elle
DeepSeek Prover-V2 Merges Informal Reasoning and Theorem Proving
By
–
