Pada Juli 1976, sebuah misteri matematika yang telah membingungkan para matematikawan selama lebih dari satu abad akhirnya terpecahkan. Teorema Empat Warna menyatakan bahwa paling banyak empat warna diperlukan untuk mewarnai wilayah pada peta mana pun sehingga tidak ada dua wilayah yang berdampingan memiliki warna yang sama. Penulisnya, Kenneth Appel dan Wolfgang Haken, memberi kredit kepada seorang rekan kerja yang tidak lazim: sebuah komputer yang mengerjakan sebagian besar pekerjaan berat, beroperasi selama 1.200 jam dan membuat 10 miliar keputusan. Programmer komputer John Koch membantu Appel dan Haken dalam pekerjaan algoritmik.
Appel dan Haken kemudian mengatakan bahwa sistem itu "mulai mengajari kami hal-hal tentang cara melangkah yang tidak pernah kami duga", dan mengakui bahwa dalam tugas intelektual tertentu, sistem itu "telah melampaui penciptanya". Hasil ini memicu perdebatan apakah sebuah bukti yang terlalu besar untuk diperiksa oleh manusia mana pun dapat dianggap sebagai matematika. Reaksinya jauh dari pujian yang bulat. Herbert Wilf dari University of Pennsylvania berkata, "Tuhan tidak akan membiarkan teorema ini dibuktikan dengan metode yang mengerikan seperti itu!" Paul Halmos dari UC Santa Barbara menulis bahwa "bukti saat ini pada dasarnya bergantung pada sebuah Oracle, dan saya katakan: tumbangkan Oracle!"
Usia tampaknya membentuk sikap. Setelah presentasi oleh putra Haken, hadirin dilaporkan terbelah: "mereka yang berusia di atas 40 tahun tidak dapat diyakinkan bahwa bukti oleh komputer itu benar, sementara mereka yang di bawah 40 tahun tidak dapat diyakinkan bahwa bukti yang memuat 700 halaman perhitungan manual itu benar." Beberapa kritikus bahkan lebih jauh. George Spencer-Brown dari Cambridge University menyebut peristiwa ini "kasus 'Pakaian Baru Sang Raja' yang paling konyol yang pernah mencoreng sejarah matematika".
Namun, bukti ini memperoleh dukungan yang berarti. Bill Tutte, yang pernah meragukan metode berbantuan komputer, mengakui bahwa metode itu telah memecahkan masalah tersebut dan menandai peristiwa itu dengan sebuah puisi. Matematikawan Jerman Heinrich Heesch menerima bukti itu, meski dengan enggan, setelah mencurahkan empat dekade untuk masalah ini dan mengembangkan metode algoritmik kunci yang digunakan keduanya.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing