DeepSeek a mis en open source un vaste modèle de raisonnement mathématique : DeepSeek-Math-V2. Dépasser Gemini pour remporter la médaille d'or aux OIM Il peut non seulement fournir la bonne réponse, mais aussi vérifier si son raisonnement est raisonnable. L'innovation principale réside dans le développement d'un système d'auto-vérification qui intègre la génération, la vérification et la révision. Capacités du modèle : Générer automatiquement des preuves mathématiques ; Vérifiez vous-même si chaque étape est raisonnable ; La preuve finale sera fournie une fois les erreurs de raisonnement corrigées. DeepSeek-Math-V2 obtient d'excellents résultats sur plusieurs tests mathématiques difficiles. Dans les cinq grands domaines des mathématiques (algèbre, géométrie, théorie des nombres, combinatoire et inégalités) : DeepSeekMath-V2 surpasse complètement GPT-5-Thinking et Gemini 2.5 Pro. Performance en compétition OMI 2025 (Olympiades internationales de mathématiques) : 5 problèmes résolus sur 6, niveau médaille d'or. CMO 2024 (Olympiades mathématiques de Chine) : 4 problèmes résolus + 1 score partiel, niveau médaille d'or. Putnam 2024 (Concours américain de mathématiques universitaires) : 118/120 points, un score presque parfait.
Caractéristiques des aptitudes Haute précision : le taux de réponses correctes dépasse celui des séries GPT-5 et Gxiaohu.ai/c/a066c4/deeps…igoureux : chaque étape du raisonnement est auto-vérifiée afin d’éviter les omissions ou les illusions ; Forte capacité d'auto-amélioration : capable d'améliorer continuellement la qualité des preuves grâce à de multiples cycles de vérification ; Bonne interprétabilité : le résultat comprend non seulement la conclusion, mais aussi l’intégralité du raisonnement ; Présentation détaillée : https://t.co/97LnWmuHox
GitHub github.com/deepseek-ai/De…z9 Téhuggingface.co/deepseek-ai/De…: https://t.co/2hjUOqj09b