In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem.
१९७६ में, वोल्फगैंग हाकेन (Wolfgang Haken) और केनेथ अप्पेल (Kenneth Appel) ने चार रंग की प्रमेय (four color theorem) को प्रमाणित करने के लिए एक कंप्यूटर का उपयोग किया।