Comment by dist-epoch

More likely, those 2587 positions cover all possibilities.

There are other proofs like this - the 4 color theorem one, which was also reduced to a finite number of configurations which were manually colored.