DeepSeek-Prover-V2: la IA que demuestra teoremas como un matemático
DeepSeek-Prover-V2 es un modelo de inteligencia artificial de código abierto especializado en la demostración formal de teoremas matemáticos. Desarrollado por la empresa china DeepSeek, este modelo se basa en el uso del asistente de pruebas Lean 4 y hereda muchas de sus características de DeepSeek-V3, [...]
Comentarios