DeepSeek lanza el modelo de demostración matemática Prover-V2
DeepSeek ha lanzado un modelo especializado llamado Prover-V2 en el ámbito de la demostración de teoremas matemáticos, con el objetivo de utilizar IA para probar automáticamente teoremas matemáticos en el sistema de verificación formal Lean 4.