গণিতের প্রমাণ যাচাইয়ে বিপ্লব: কম্পিউটারের নির্ভুল যাচাই ব্যবস্থা এখন হাতের মুঠোয়

গণিতের একটি জটিল প্রমাণ শেষ করে শিক্ষকের কাছ থেকে সম্মতি পেলেও কম্পিউটার তা প্রত্যাখ্যান করছে। এমন ঘটনা এখন আর কল্পনা নয়। মানুষের লেখা যুক্তির প্রতিটি ধাপ বিশ্লেষণ করে যৌক্তিক ফাঁক চিহ্নিত করতে সক্ষম এমন সফটওয়্যার তৈরি হয়েছে। এর নাম ‘রক প্রুভার’। আগে এটি ‘কক’ নামে পরিচিত ছিল।

🔴 মূল পয়েন্ট

• 📌 গণিতের প্রমাণ যাচাইয়ে কম্পিউটারভিত্তিক প্রযুক্তি ‘রক প্রুভার’ ব্যবহৃত হচ্ছে
• 📌 ‘কক’ নামেই এটি পূর্বে পরিচিত ছিল, যা ২০২৫ সালের মার্চ পর্যন্ত ব্যবহৃত হয়েছে
• 📌 ফোর কালার থিওরেমের মতো ঐতিহাসিক উপপাদ্যের ভুল প্রমাণ শনাক্ত করেছে এই প্রযুক্তি
• 📌 প্রুফ অ্যাসিস্ট্যান্ট হিসেবে কাজ করে সফটওয়্যারটি, যা যুক্তির প্রতিটি ধাপ যাচাই করে
• 📌 টাইপ থিওরি ও কারি–হাওয়ার্ড সমরূপতার ধারণার ওপর ভিত্তি করে নির্মিত হয়েছে প্রযুক্তিটি

📰 বিস্তারিত

গণিতের একটি প্রমাণ শেষ করে শিক্ষকের কাছ থেকে সম্মতি পেলেও কম্পিউটার তা প্রত্যাখ্যান করছে। এমন ঘটনা এখন আর কল্পনা নয়। মানুষের লেখা যুক্তির প্রতিটি ধাপ বিশ্লেষণ করে যৌক্তিক ফাঁক চিহ্নিত করতে সক্ষম এমন সফটওয়্যার তৈরি হয়েছে। এর নাম ‘রক প্রুভার’। আগে এটি ‘কক’ নামে পরিচিত ছিল।

গণিতবিদদের জন্য এটি একটি যুগান্তকারী উদ্ভাবন। কারণ, ইতিহাসে বহুবার এমন ঘটনা ঘটেছে যে কোনো একটি প্রমাণ বছরের পর বছর সঠিক বলে পড়ানো হয়েছে, কিন্তু পরে দেখা গেছে সেখানে সূক্ষ্ম একটি যৌক্তিক ফাঁক ছিল। এর সবচেয়ে পরিচিত উদাহরণ হলো ফোর কালার থিওরেম। ১৮৭৯ সালে আলফ্রেড কেম্পে দাবি করেছিলেন, তিনি উপপাদ্যটি প্রমাণ করেছেন। প্রায় এক দশক পর দেখা গেল, তাঁর যুক্তির একটি গুরুত্বপূর্ণ অংশ ভুল ছিল।

বর্তমানে কিছু সফটওয়্যার তৈরি হয়েছে, যেগুলো মানুষের লেখা প্রতিটি যুক্তি একেবারে শুরু থেকে শেষ পর্যন্ত নিখুঁতভাবে পরীক্ষা করে দেখতে পারে। এই প্রযুক্তির অন্যতম গুরুত্বপূর্ণ একটি নাম রক প্রুভার। এরপর ১৯৭৬ সালে কেনেথ অ্যাপেল এবং উলফগ্যাং হাকেন কম্পিউটারের সাহায্যে হাজার হাজার সম্ভাব্য ক্ষেত্র পরীক্ষা করে উপপাদ্যটির একটি নতুন প্রমাণ দেন।

একটি প্রুফ অ্যাসিস্ট্যান্টের কাজ হলো লেগো খেলার মতো। লেগো খেলায় যেমন একটি টুকরা শুধু নির্দিষ্ট ধরনের আরেকটি টুকরার সঙ্গেই ঠিকভাবে জোড়া লাগে, তেমনি একটি প্রুফ অ্যাসিস্ট্যান্টেও প্রতিটি যৌক্তিক ধাপের জন্য সুনির্দিষ্ট নিয়ম রয়েছে। কোনো অংশ জোর করে বসিয়ে দেওয়ার সুযোগ এখানে নেই।

"একটি কম্পিউটার প্রোগ্রাম যেমন বুঝতে পারে কোথায় একটি সংখ্যা বসানো উচিত আর কোথায় লেখা, তেমনি প্রুফ অ্যাসিস্ট্যান্টও পরীক্ষা করে দেখে যে কোনো প্রমাণ সত্যিই তার দাবি করা উপপাদ্যের সঙ্গে মেলে কি না।"

📊 তথ্যের সারসংক্ষেপ

• 📍 স্থান: বিশ্বব্যাপী ব্যবহৃত
• 👥 গুরুত্বপূর্ণ ব্যক্তি: আলফ্রেড কেম্পে, কেনেথ অ্যাপেল, উলফগ্যাং হাকেন
• 🔢 গুরুত্বপূর্ণ সংখ্যা: ১৮৭৯ (ফোর কালার থিওরেমের প্রথম প্রমাণের বছর)