Math-V2: IA da DeepSeek resolve e auto-verifica teoremas complexos

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…











