15 feilformaliseringer i PutnamBench (omtrent 2 % av benchmark) har blitt rettet, takket være Logical Intelligence for å ha bidratt med endringene, som ble identifisert av deres Aleph Prover-system (som det tilfeldigvis også er den sterkeste tilnærmingen på PB-ledertavlen for øyeblikket)!