During the 1960s and 1970s German mathematician Heinrich Heesch developed methods of using computers to search for a proof.
Az 1960-as és 1970-es években Heinrich Heesch német matematikus módszereket dolgozott ki arra, hogy lehetne a számítógépet tételbizonyítás során felhasználni.