15 formalizări greșite în PutnamBench (aproximativ 2% din benchmark) au fost corectate, mulțumită Logical Intelligence pentru contribuțiile cu aceste modificări, identificate de sistemul lor Aleph Prover (de altfel, este și în prezent cea mai puternică abordare din clasamentul PB)!