AI4SLT: Formalización de Teoría de Aprendizaje Estadístico en Lean 4
Primera formalización integral de teoría de aprendizaje estadístico en Lean 4 usando procesos empíricos. Colaboración humano-IA para demostraciones verificadas de concentración gaussiana y regresión.