In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Во 1976 година, четирибојната теорема беше првата голема теорема која беше потврдена со помош на компјутерска програма.