
Hugging Face libera el método que usó para entrenar modelos de IA capaces de demostrar teoremas matemáticos
La plataforma publica kimina-prover-rl, un sistema de entrenamiento que enseña a modelos pequeños de lenguaje a resolver pruebas formales en Lean 4 mediante razonamiento estructurado y aprendizaje por refuerzo





