في يوليو 1976 حُلّ أخيراً لغز رياضي حيّر علماء الرياضيات لأكثر من قرن. تنص مبرهنة الألوان الأربعة على أنه لا يلزم أكثر من أربعة ألوان لتلوين مناطق أي خريطة بحيث لا تشترك أي منطقتين متجاورتين في اللون نفسه. ونسب مؤلفاها، كينيث أبل وفولفغانغ هاكن، الفضل إلى متعاون غير تقليدي: حاسوب قام بمعظم العمل الشاق، إذ عمل لمدة 1200 ساعة واتخذ 10 مليارات قرار. وساعد مبرمج الحاسوب جون كوخ أبل وهاكن في العمل الخوارزمي.
وقال أبل وهاكن لاحقاً إن النظام "بدأ يعلّمنا أشياء عن طريقة المضي قدماً لم نتوقعها أبداً"، واعترفا بأنه "تفوق على مبتكريه" في مهام فكرية معينة. وقد فتحت النتيجة باب النقاش حول ما إذا كان البرهان الهائل الذي لا يستطيع أي إنسان التحقق منه يمكن أن يُعد رياضيات. ولم تكن الردود إشادة بالإجماع. فقال هربرت ويلف من جامعة بنسلفانيا: "لن يسمح الله بإثبات المبرهنة بطريقة فظيعة كهذه!". وكتب بول هالموس من جامعة كاليفورنيا في سانتا باربرا أن "البرهان الحالي يعتمد فعلياً على أوراكل، وأنا أقول: يسقط الأوراكل!".
ويبدو أن العمر كان يشكّل المواقف. فبعد عرض قدّمه ابن هاكن، انقسم الحضور بحسب ما أُفيد: "من تجاوزوا الأربعين لم يقتنعوا بأن البرهان الحاسوبي صحيح، بينما من دون الأربعين لم يقتنعوا بأن برهاناً يتضمن 700 صفحة من الحسابات اليدوية يمكن أن يكون صحيحاً". ومضى بعض النقاد أبعد من ذلك. فوصف جورج سبنسر-براون من جامعة كامبريدج القضية بأنها "أسخف حالة لـ'ثياب الإمبراطور الجديدة' شانت تاريخ الرياضيات يوماً".
ونال البرهان تأييداً لافتاً. فقد أقرّ بيل توت، الذي شكك ذات يوم في المنهج المعتمد على الحاسوب، بأنه حلّ المشكلة، وخلّد المناسبة بقصيدة. وقبل عالم الرياضيات الألماني هاينريش هيش البرهان على مضض، بعد أن أمضى أربعة عقود على المسألة وطوّر أساليب خوارزمية رئيسية استخدمها الباحثان.
المصدر: Hacker News · لخّصه HeadlinesBriefing