A DeepSeek lançou o modelo DeepSeekMath-V2. Excelente desempenho no IMO-ProofBench e em competições (como os problemas 5/6 na IMO 2025)github.com/deepseek-ai/De…uação quase perfeita de 118/120). Possui nível para medalha de ouro na Olimpíada Internacional de Matemática (IMO) 2025. Link para o projeto de código aberto no Github: https://t.co/5vhdwpQW6G O modelo também foi lançado no @huggingface sob a licença de código aberto Apache 2.0! Você também pode baixá-lo do HF:
