O DeepSeek Prover V2 representa um avanço significativo na automação de provas matemáticas formais, construindo sobre o sucesso de seus predecessores que alcançaram 63,5% no benchmark miniF2F. O DeepSeek Prover V2 representa um avanço significativo na automação de provas matemáticas formais, construindo sobre o sucesso de seus predecessores que alcançaram 63,5% no benchmark miniF2F.

DeepSeek lança Prover V2 com foco em teoremas matemáticos avançados

Empresa chinesa disponibiliza modelo de IA matemática com 671 bilhões de parâmetros sob licença MIT, ampliando fronteiras do raciocínio computacional.