15 Fehlermeldungen in PutnamBench (ungefähr 2% des Benchmarks) wurden behoben, dank Logical Intelligence für die Bereitstellung der Änderungen, die von ihrem Aleph Prover-System identifiziert wurden (wie es der Fall ist, derzeit auch der stärkste Ansatz auf der PB-Rangliste)!