Beijing, 01 mayo, batalladeideas.com.- La compañía china de Inteligencia Artificial (IA), DeepSeek, ha presentado al público un nuevo modelo especializado en matemáticas llamado “Prover-V2”, según un comunicado de prensa. El Prover-V2 de código abierto ha sido cargado en Hugging Face, la compañía de Inteligencia Artificial, sin que haya habido un anuncio oficial hasta ahora.
Ejecutivos de DeepSeek señalaron que se trata de una actualización de Prover-V1.5, que se presentó en agosto de 2024, algunos meses antes del importante lanzamiento del R1. En ese instante, la compañía definió el producto como un ejemplo para la presentación oficial de teoremas y el razonamiento matemático.
La serie Prover incluye una Maestría en Derecho, enfocada en las matemáticas. Asimismo, no se ofrecieron datos acerca del nuevo instrumento. De acuerdo con los documentos descargados, se basa en DeepSeek V3, que cuenta con 671 mil millones de parámetros y emplea la arquitectura Mixture-of-Experts (MoE).
La presentación de DeepSeek ocurre un día después de que el coloso tecnológico chino Alibaba revelara su nueva serie de modelos de IA Qwen3. Asimismo, en marzo de este año, DeepSeek presentó una actualización significativa de V3 que incluye mejoras en razonamiento, programación y escritura.
Previamente, la compañía captó la atención de las autoridades chinas. Los trabajadores laboran en circunstancias novedosas y más difíciles.
VTV.GOB.VE
