A DeepSeek disponibilizou em código aberto um grande modelo de raciocínio matemático: DeepSeek-Math-V2. Ultrapassando a Gemini para conquistar a medalha de ouro da IMO Ele não só pode fornecer a resposta correta, como também verificar se o raciocínio é razoável. A principal inovação reside no desenvolvimento de um sistema de autoverificação que integra geração, verificação e revisão. Capacidades do modelo: Gere demonstrações matemáticas automaticamente; Verifique se cada etapa é razoável; A prova final será apresentada após a correção dos erros de raciocínio. O DeepSeek-Math-V2 apresenta um excelente desempenho em diversos testes matemáticos desafiadores. Nas cinco principais áreas da matemática (álgebra, geometria, teoria dos números, combinatória e desigualdades): O DeepSeekMath-V2 supera completamente o GPT-5-Thinking e o Gemini 2.5 Pro. Desempenho na competição IMO 2025 (Olimpíada Internacional de Matemática): Resolvi 5 de 6 problemas, nível medalha de ouro. CMO 2024 (Olimpíada Chinesa de Matemática): Resolvi 4 problemas + 1 pontuação parcial, nível de medalha de ouro. Putnam 2024 (Competição Americana de Matemática Universitária): 118/120 pontos, uma pontuação quase perfeita.
Características de habilidade Alta precisão: A taxa de respostas corretas supera a do GPT-5 e da série Gemini; Raxiaohu.ai/c/a066c4/deeps… etapa da lógica é verificada por si mesma para evitar omissões ou ilusões; Forte capacidade de autoaperfeiçoamento: capaz de melhorar continuamente a qualidade das provas por meio de múltiplas rodadas de verificação; Boa interpretabilidade: O resultado inclui não apenas a conclusão, mas também todo o processo de raciocínio; Introdução detalhada: https://t.co/97LnWmuHox
GitHub:github.com/deepseek-ai/De…9 Dowhuggingface.co/deepseek-ai/De…//t.co/2hjUOqj09b