১৯৭৬ সালের জুলাই মাসে একটি গাণিতিক রহস্যের সমাধান হয়, যা এক শতাব্দীরও বেশি সময় ধরে গণিতবিদদের ধাঁধায় ফেলে রেখেছিল। চার রঙের উপপাদ্য বলে, যেকোনো মানচিত্রের অঞ্চলগুলো এমনভাবে রঙ করতে সর্বোচ্চ চারটি রঙই যথেষ্ট, যাতে কোনো দুটি পাশাপাশি অঞ্চল একই রঙের না হয়। এর লেখক কেনেথ অ্যাপেল ও উলফগ্যাং হ্যাকেন এর কৃতিত্ব দিয়েছেন এক অপ্রচলিত সহযোগীকে: একটি কম্পিউটার, যা অধিকাংশ কঠিন কাজ করেছে, ১,২০০ ঘণ্টা চলেছে এবং ১০০ কোটি সিদ্ধান্ত নিয়েছে। কম্পিউটার প্রোগ্রামার জন কোখ অ্যালগরিদম-সংক্রান্ত কাজে অ্যাপেল ও হ্যাকেনকে সহায়তা করেন।
অ্যাপেল ও হ্যাকেন পরে বলেন, এই ব্যবস্থা "আমাদের এমন সব উপায়ে অগ্রসর হতে শেখাতে শুরু করেছিল যা আমরা কখনো আশা করিনি", এবং স্বীকার করেন যে কিছু বুদ্ধিবৃত্তিক কাজে এটি "তার স্রষ্টাদের ছাড়িয়ে গেছে"। এই ফল একটি বিতর্কের সূচনা করে: এত বিশাল একটি প্রমাণ, যা কোনো মানুষ যাচাই করতে পারে না, তাকে কি আদৌ গণিত বলা যায়? প্রতিক্রিয়া সর্বজনীন প্রশংসার ছিল না। পেনসিলভানিয়া বিশ্ববিদ্যালয়ের হারবার্ট উইলফ বলেন, "ঈশ্বর এত ভয়ংকর পদ্ধতিতে এই উপপাদ্যের প্রমাণ হতে দিতেন না!" ইউসি সান্তা বারবারার পল হালমোস লেখেন, "বর্তমান প্রমাণ কার্যত একটি ওরাকলের ওপর নির্ভরশীল, এবং আমি ওরাকলের বিরুদ্ধে!"
বয়সও মনোভাব গড়ে দিচ্ছিল বলে মনে হয়। হ্যাকেনের ছেলের একটি উপস্থাপনার পর শ্রোতারা নাকি বিভক্ত হয়ে যান: "৪০-এর বেশি বয়সীরা বিশ্বাস করতে পারেননি যে কম্পিউটারের প্রমাণ সঠিক, আর ৪০-এর কম বয়সীরা বিশ্বাস করতে পারেননি যে ৭০০ পৃষ্ঠার হাতে-করা গণনাসমৃদ্ধ প্রমাণ সঠিক হতে পারে।" কেউ কেউ আরও এগিয়ে যান। কেমব্রিজ বিশ্ববিদ্যালয়ের জর্জ স্পেনসার-ব্রাউন এই ঘটনাকে "গণিতের ইতিহাসকে কলঙ্কিত করা 'রাজার নতুন পোশাক'-এর সবচেয়ে হাস্যকর দৃষ্টান্ত" বলে অভিহিত করেন।
তবে প্রমাণটি উল্লেখযোগ্য সমর্থনও পায়। বিল টিউট, যিনি একসময় কম্পিউটার-সহায়তা পদ্ধতি নিয়ে সন্দেহ প্রকাশ করেছিলেন, স্বীকার করেন যে এটি সমস্যাটি সমাধান করেছে এবং একটি কবিতা লিখে সেই মুহূর্ত চিহ্নিত করেন। জার্মান গণিতবিদ হাইনরিশ হেশ প্রমাণটি গ্রহণ করেন, যদিও অনিচ্ছায়, কারণ তিনি চার দশক এই সমস্যায় ব্যয় করেছিলেন এবং সেই মূল অ্যালগরিদমিক পদ্ধতিগুলো বিকশিত করেছিলেন যা দুজনেই ব্যবহার করেছিলেন।
উৎস: Hacker News · সারাংশ: HeadlinesBriefing