Después de un tiempo de relativa calma, DeepSeek ha vuelto a escena con el lanzamiento de Prover V2. Se trata de un nuevo modelo de inteligencia artificial de código abierto que destaca por estar especializado en la demostración de teoremas matemáticos.
