15 неправильних формалізацій у PutnamBench (приблизно 2% від бенчмарку) було виправлено, завдяки Logical Intelligence за внесок у зміни, які були виявлені їхньою системою Aleph Prover (до речі, наразі це також найсильніший підхід у таблиці рекордів)!