
DeepSeek-Prover-V2 es una inteligencia artificial desarrollada por la empresa china DeepSeek, que entiende demostraciones formales, encuentra errores en teoremas y sugiere nuevos caminos para resolver problemas complejos. Tiene dos versiones: una con 7 mil millones de parámetros y otra con 671 mil millones de parámetros. Es gratuito y de código abierto, y puede ser utilizado como tutor virtual, herramienta educativa, en investigación avanzada, desarrollo de software y divulgación científica.