15 erreurs de formalisation dans PutnamBench (environ 2 % du benchmark) ont été corrigées, grâce à Logical Intelligence pour avoir contribué aux changements, qui ont été identifiés par leur système Aleph Prover (il se trouve que c'est également actuellement la méthode la plus performante sur le classement PB) !