AxiomProver logra 12/12 en Putnam, resuelto de forma autónoma, usando demostraciones de forma lean sin pistas humanas. 2026 empieza increíblemente fuerte