Génial ! DeepSeek vient de sortir son dernier modèle : DeepSeek-Math-V2, qui atteint le niveau médaille d'or des Olympiades internationales de mathématiques (OIM). Basé sur DeepSeek-V3.2-Exp-Base, 685B, axé sur le raisonnement mathématique et la démonstration de théorèmes. Math-V2 ne se contente pas de calculer des réponses ; il génère des démonstrations complètes et peut même vérifier la validité de ses propres démonstrations. Elle a obtenu des résultats dignes d'une médaille d'or aux OMI 2025 et aux CMO 2024, et a presque atteint le score parfait de 118/120 au Putnam 2024. Plus précisément, un vérificateur précis et fiable est d'abord formé pour déterminer si le processus de preuve est rigoureux. Ensuite, en utilisant ce validateur comme modèle de récompense, un générateur de preuves est entraîné pour l'encourager à identifier et à corriger de manière proactive les problèmes dans la preuve avant la soumission. À mesure que le générateur devient plus puissant, la charge de calcul pour la vérification augmente continuellement, et les preuves difficiles à vérifier sont automatiquement étiquetées, alimentant ainsi l'entraînement du vérificateur et formant un cycle « génération-vérification » d'amélioration. DeepSeekMath-V2 a fondamentalement révolutionné les mathématiques de l'IA, au-delà de la simple fourniture de réponses ; il peut désormais rédiger des preuves et, de plus, il peut également s'auto-vérifier les erreurs, devenant de plus en plus rigoureux à chaque itération. #DeepSeekMathV2
Modhuggingface.co/deepseek-ai/De…P83Cgithub.com/deepseek-ai/De….co/yNtXy9pA2e
