15 felformaliseringar i PutnamBench (ungefär 2 % av benchmark) har åtgärdats, tack vare Logical Intelligence som bidrog med förändringarna, vilka identifierades av deras Aleph Prover-system (som det visar sig vara det för närvarande det starkaste tillvägagångssättet på PB-topplistan)!