A DeepSeek, a empresa chinesa de inteligência artificial que surpreendeu o mercado no início de 2025 com os seus modelos de acesso livre, está de volta com uma ferramenta que promete ser o melhor amigo de matemáticos e cientistas. A empresa acaba de lançar o DeepSeekMath-V2, um novo modelo de IA desenhado especificamente para enfrentar um dos desafios mais difíceis da computação moderna: a prova rigorosa de teoremas matemáticos.
Ao contrário dos chatbots generalistas, que muitas vezes sofrem de “alucinações” (inventando números ou factos) quando confrontados com cálculos complexos, o DeepSeekMath-V2 foi construído com uma obsessão pela exatidão. O seu objetivo não é apenas dar a resposta certa, mas sim demonstrar, passo a passo e de forma irrefutável, como chegou lá.
Adeus ao “chute”: o ciclo de geração e verificação
A grande inovação deste modelo reside na sua arquitetura de raciocínio. A DeepSeek implementou um sistema de “geração-verificação”.
Em vez de tentar adivinhar a resposta final de uma só vez, a IA utiliza dois componentes distintos:
- O Gerador de Provas: Cria uma possível solução ou dedução lógica.
- O Verificador: Um modelo especializado que analisa a solução proposta pelo gerador e valida se a lógica está correta.
Este sistema funciona como um professor a corrigir um aluno em tempo real. O verificador atua como um “modelo de recompensa”, incentivando o gerador a identificar e corrigir os seus próprios erros durante o processo de dedução. Se uma prova é difícil de verificar, o sistema rotula-a automaticamente para treino futuro, criando um ciclo de aprendizagem contínua.
Esta abordagem “passo a passo” é fundamental para a ciência, pois garante que o raciocínio é auto-verificável e lógico, afastando a IA da caixa negra que cospe números sem explicação.
Desempenho de medalha de ouro
A eficácia desta abordagem já foi posta à prova nos palcos mais exigentes. O DeepSeekMath-V2, construído sobre a base do modelo DeepSeek-V3.2-Exp-Base, alcançou resultados que rivalizam com as mentes humanas mais brilhantes:
- Olimpíadas Internacionais: O modelo alcançou pontuações de nível Ouro nas Olimpíadas Internacionais de Matemática (IMO) de 2025 e na CMO 2024.
- Competição Putnam: Talvez o feito mais impressionante tenha sido o seu desempenho na competição matemática William Lowell Putnam de 2024, onde obteve uma pontuação quase perfeita de 118 em 120 (utilizando computação escalada).
Um desbloqueador de ciência
Embora a DeepSeek admita que a IA ainda não está pronta para resolver sozinha os famosos “Problemas do Milénio”, o lançamento do DeepSeekMath-V2 é um passo gigante.
Ao disponibilizar uma ferramenta capaz de lidar com a derivação matemática formal e complexa, a empresa está a oferecer à comunidade científica uma nova forma de acelerar a investigação. Uma melhor compreensão matemática é a base para avanços em áreas críticas como a física, a criptografia, a engenharia e a saúde.
Outros artigos interessantes:
