La empresa china de inteligencia artificial DeepSeek ha presentado una versión actualizada de su modelo DeepSeek-Prover-V2, diseñado específicamente para demostrar teoremas matemáticos de manera formal. Este modelo de lenguaje avanzado (LLM) utiliza el lenguaje de programación Lean 4 para verificar la consistencia lógica de las pruebas matemáticas, analizando cada paso de forma independiente. Al igual …
The post Resolución de teoremas con IA, DeepSeek presenta Prover-V2 first appeared on PasionMóvil.