Math-V2 amplia raciocínio matemático e alcança resultados de alto nível em competições
A startup chinesa DeepSeek lançou um modelo de inteligência artificial de código aberto, o Math-V2, desenvolvido para gerar e auto-verificar demonstrações matemáticas complexas. Segundo a empresa, o sistema une um gerador de teoremas e um verificador que confere, passo a passo, as provas produzidas, permitindo que o modelo corrija seus próprios erros durante a execução.
O Math-V2 foi construído sobre o experimental DeepSeek‑V3.2‑Exp, lançado em setembro, e seus pesos foram disponibilizados sob a licença de código aberto Apache 2.0 em plataformas como Hugging Face e GitHub. A estratégia de desenvolvimento privilegia o raciocínio matemático auto-verificável, uma abordagem voltada a tarefas que exigem derivações rigorosas e que, segundo a DeepSeek, amplia a capacidade de raciocínio durante a execução.
Como o Math-V2 funciona
O sistema integra dois componentes centrais: um gerador de teoremas que produz passos de demonstração, e um verificador que valida cada etapa, sinalizando inconsistências ou erros. Essa dinâmica cria um ciclo de correção interna, em que o modelo aprende a ajustar seus raciocínios em tempo real.
De acordo com a DeepSeek, a proposta busca superar limitações observadas em métodos anteriores baseados apenas em aprendizado por reforço. Como escreveu a empresa em seu artigo técnico, “ao escalar o raciocínio com aprendizado por reforço que recompensa as respostas finais corretas, os modelos de linguagem melhoraram de uma performance medíocre para alcançar resultados saturados em competições quantitativas como AIME e HMMT em apenas um ano. Contudo, essa abordagem apresenta limitações fundamentais.” A DeepSeek apresenta o Math-V2 como uma resposta a essas limitações, ao focar na auto-verificação durante a construção das provas.
Desempenho em competições e dados divulgados
Nos testes divulgados pela empresa, o Math-V2 obteve resultados expressivos. A DeepSeek afirmou que o Math‑V2 “alcançou pontuações dignas de medalha de ouro ao ser testado em problemas da Olimpíada Internacional de Matemática (IMO) 2025 e da Olimpíada de Matemática CREST (CMO) 2024, além de atingir uma elevada pontuação de 118 em 120 na competição matemática Putnam 2024.” Esses números, se confirmados por avaliações independentes, posicionariam o modelo entre as ferramentas de ponta para raciocínio matemático automatizado.
Além das métricas de competição, a DeepSeek ressalta que o Math‑V2 foi projetado para resolver problemas abertos sem soluções pré-definidas, cenário crítico para pesquisas em áreas que dependem de demonstrações rigorosas, como criptografia e exploração espacial.
Impacto no ecossistema de código aberto e próximos passos
O lançamento do Math-V2 também tem impacto político e econômico no ecossistema global de IA. Um destaque citado pela DeepSeek é que “Um estudo recente do MIT, em parceria com a Hugging Face, revelou que a participação dos modelos abertos desenvolvidos na China aumentou para 17% no último ano”, dado que, segundo a empresa, pode conferir à China uma vantagem no mercado de modelos abertos.
Ao publicar o código e os pesos sob licença Apache 2.0, a DeepSeek favorece a colaboração e a auditoria externa, permitindo que pesquisadores e desenvolvedores testem, reproduzam e aprimorem o modelo. A empresa admite que ainda há elementos a melhorar, mas avalia que o caminho do raciocínio auto-verificável é promissor para criar sistemas de IA mais robustos e confiáveis.
Especialistas independentes alertam para a necessidade de validação externa das reivindicações de desempenho, e também para os desafios de segurança e uso responsável de modelos capazes de produzir demonstrações complexas. Ainda assim, o Math-V2 representa um avanço técnico e uma contribuição relevante ao domínio aberto de pesquisa em IA, ao mesmo tempo em que intensifica o debate sobre competição, transparência e colaboração global no desenvolvimento de modelos de raciocínio.
Deixe um comentário