
DeepSeek Prover V2 es un modelo de IA que resuelve teoremas con precisión y eficiencia, gracias a su arquitectura Mixture-of-Experts y 671.000 millones de parámetros. Fue lanzado en agosto de 2024 y ha sido actualizado para mejorar su rendimiento. Está diseñado para razonar de forma lógica y llegar a conclusiones siguiendo las reglas estrictas de las matemáticas. Puede ser utilizado en campos como la verificación de software, la investigación científica y la educación. La compañía DeepSeek también ha lanzado una versión mejorada de su modelo generalista V3 y está preparando la actualización de R1, su modelo especializado en razonamiento.