Deepseek-prover-v2
Avance del razonamiento matemático formal a través de RL
Featured
2 Votos
Descripción
Deepseek-Prover-V2 es una AI de código abierto que revoluciona el teorema formal en el Lean 4. Impulsado por Deepseek-V3, logra una tasa de aprobación del 88.9% en la prueba minif2f y resuelve 49/658 problemas de Putnambench.