La startup chinoise DeepSeek vient de publier en open-source un modèle d'IA capable non seulement de résoudre des problèmes mathématiques de très haut niveau, mais aussi de vérifier la rigueur de son ...