जुलाई 1976 में एक गणितीय रहस्य आखिरकार सुलझ गया, जो एक सदी से भी अधिक समय से गणितज्ञों को उलझाए हुए था। चार रंगों का प्रमेय कहता है कि किसी भी मानचित्र के क्षेत्रों को इस तरह रंगने के लिए अधिकतम चार रंगों की आवश्यकता होती है कि कोई भी दो आसन्न क्षेत्र एक ही रंग के न हों। इसके लेखक केनेथ एपेल और वोल्फगैंग हेकेन ने इसका श्रेय एक असामान्य सहयोगी को दिया: एक कंप्यूटर, जिसने अधिकांश भारी काम किया, 1,200 घंटे तक चला और 10 अरब निर्णय लिए। कंप्यूटर प्रोग्रामर जॉन कोच ने एपेल और हेकेन को एल्गोरिदम संबंधी कार्य में सहायता दी।
एपेल और हेकेन ने बाद में कहा कि इस प्रणाली ने "हमें आगे बढ़ने के ऐसे तरीके सिखाने शुरू किए जिनकी हमने कल्पना भी नहीं की थी", और स्वीकार किया कि कुछ बौद्धिक कार्यों में यह "अपने रचनाकारों से आगे निकल गई" थी। इस परिणाम ने इस बहस को जन्म दिया कि क्या इतने विशाल प्रमाण को, जिसे कोई भी मनुष्य जाँच नहीं सकता, गणित माना जा सकता है। प्रतिक्रियाएँ सार्वभौमिक प्रशंसा से कोसों दूर थीं। पेंसिल्वेनिया विश्वविद्यालय के हर्बर्ट विल्फ ने कहा, "ईश्वर इस प्रमेय को इतनी भयानक विधि से सिद्ध नहीं होने देते!" यूसी सांता बारबरा के पॉल हैल्मोस ने लिखा कि "वर्तमान प्रमाण वस्तुतः एक ओरेकल पर निर्भर है, और मैं ओरेकलों का विरोध करता हूँ!"
उम्र भी दृष्टिकोण को प्रभावित करती प्रतीत हुई। हेकेन के बेटे की एक प्रस्तुति के बाद, श्रोताओं में मतभेद हो गया, ऐसा बताया गया: "40 से अधिक उम्र के लोग यह विश्वास नहीं कर सके कि कंप्यूटर द्वारा किया गया प्रमाण सही है, जबकि 40 से कम उम्र के लोग यह विश्वास नहीं कर सके कि 700 पृष्ठों की हाथ से की गई गणनाओं वाला प्रमाण सही हो सकता है।" कुछ आलोचक और आगे बढ़ गए। कैम्ब्रिज विश्वविद्यालय के जॉर्ज स्पेंसर-ब्राउन ने इस प्रकरण को "गणित के इतिहास को कलंकित करने वाला 'राजा के नए वस्त्र' का सबसे हास्यास्पद उदाहरण" कहा।
प्रमाण को उल्लेखनीय समर्थन भी मिला। बिल ट्यूट, जिन्होंने कभी कंप्यूटर-सहायता प्राप्त पद्धति पर संदेह किया था, ने स्वीकार किया कि इसने समस्या हल कर दी है और इस अवसर को एक कविता से चिह्नित किया। जर्मन गणितज्ञ हाइनरिख हीश ने इस प्रमाण को स्वीकार किया, यद्यपि अनिच्छा से, क्योंकि उन्होंने इस समस्या पर चार दशक लगाए थे और वे प्रमुख एल्गोरिदमिक विधियाँ विकसित कर चुके थे जिनका उपयोग इन दोनों ने किया।
स्रोत: Hacker News · HeadlinesBriefing द्वारा सारांशित