Se han corregido 15 errores de formalización en PutnamBench (aproximadamente el 2% del benchmark), gracias a Logical Intelligence por contribuir con los cambios, que fueron identificados por su sistema Aleph Prover (de hecho, también el enfoque más fuerte actualmente en la tabla de clasificación de PB)!