Der Nachweis der Nichtexistenz eines bestimmten symmetrischen Blockplans (der projektiven Ebene der Ordnung 10 bzw. des symmetrischen (111,11,1)-Blockplans) mit Hilfe eines Computerbeweises sorgte im Jahr 1991 für großes Interesse.