DeepSeek, la prometedora startup china de inteligencia artificial, vuelve a llamar la atención del sector con el lanzamiento silencioso de Prover V2, una IA de código abierto enfocada en la demostración formal de teoremas matemáticos. A pesar de no haber realizado anuncios formales, la compañía publicó recientemente el modelo en Hugging Face, junto con una […]