AxiomProver logra 12/12 en Putnam, resuelto de forma autónoma, utilizando pruebas lean sin pistas humanas. 2026 comienza de manera increíblemente fuerte