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. Lo curioso del caso es que DeepSeek no ha realizado anuncios formales sobre el […]
Seguir leyendo: DeepSeek lanza Prover V2, una nueva IA de código abierto especializada en teoremas matemáticos