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