DeepSeekMath-V2
About DeepSeekMath-V2
Raciocínio de nível Ouro da IMO, totalmente aberto.
AI Summary
DeepSeekMath-V2 é um novo modelo de código aberto especializado em raciocínio matemático. Ele introduz um mecanismo de auto-verificação onde o modelo atua como gerador e verificador para refinar suas próprias provas. Alcançou pontuações de nível Ouro na IMO 2025 e um quase perfeito 118/120 na Putnam 2024.
Detailed Description
DeepSeekMath-V2: IA 🤖 open-source para raciocínio matemático avançado! 🥇 Nível Ouro na IMO 2025 e quase perfeito (118/120) na Putnam 2024! ✅ Autoverificação para provas refinadas. Ideal para estudantes, pesquisadores e entusiastas da matemática. 🚀
Tool Screenshot
Click to enlarge
Key Features
Modelo de código aberto especializado em raciocínio matemático.
Implementa um mecanismo de auto-verificação para refinar provas.
Atuação de gerador e verificador de provas pelo próprio modelo.
Desempenho de nível ouro na IMO 2025.
Desempenho quase perfeito na Putnam 2024.
Comments 0
Join the conversation
Sign in to leave a comment and share your thoughts.
Related Tools
Categories
Discover More AI Tools
Explore our comprehensive collection of AI tools.
Browse AllReviews
Loading...
Loading reviews...
No comments yet
Be the first to share your thoughts and start the conversation!