DeepSeek publie le modèle Prover-V2 : 671B Parameters Boost Mathematical Theorem Proving (en anglais)
Le 1er mai, DeepSeek a mis en libre accès le modèle DeepSeek-Prover2 conçu pour les preuves mathématiques, qui contient 671 milliards de paramètres et une version de 7 milliards de paramètres...
