15 lỗi không chính thức trong PutnamBench (khoảng 2% của chuẩn mực) đã được sửa, cảm ơn Logical Intelligence đã đóng góp các thay đổi, được xác định bởi hệ thống Aleph Prover của họ (trùng hợp là, hiện tại cũng là phương pháp mạnh nhất trên bảng xếp hạng PB)!