06/09/2026
মানব সভ্যতার গণিতের ইতিহাসে গত ৩৫০ বছরে যা ঘটেনি, গতকাল সেটাই করে দেখাল Claude!
বিশ্বাস করেন, খবরটা পড়ার পর গায়ে কাঁটা দিয়ে উঠেছিল আমার! Fermat's Last Theorem - যেটার নাম শুনলে বাঘা বাঘা গণিতবিদদেরও কপালে চিন্তার ভাঁজ পড়ে, সেটার প্রথম সম্পূর্ণ computer-checked proof তৈরি করেছে Claude, তা-ও টানা ১১ দিন ধরে almost autonomously কাজ করে।
এটা কিন্তু সাধারণ চ্যাটবট দিয়ে যোগ-বিয়োগ করানোর মতো দুধভাত ব্যাপার না।
Lean নামের এমন একটা প্রোগ্রামিং ল্যাঙ্গুয়েজ আছে যেখানে গণিতের প্রতিটি যুক্তিকে কোডের মতো লিখতে হয়, যাতে কম্পিউটার নিজে যাচাই করতে পারে কোনো ভুল আছে কি না। মানুষের পক্ষে এই কাজ করতে বছরের পর বছর লেগে যেত, কারণ হাজার হাজার ছোট লজিকের একটা উল্টাপাল্টা হলেই পুরো থিওরেম বাতিল।
Claude একটানা ১১ দিন ধরে নিজের মতো করে লজিক অনুবাদ করেছে, কোডের ভুল শুধরেছে এবং প্রতিটি স্টেপ ভেরিফাই করেছে। ১৯৯৪ সালে অ্যান্ড্রু ওয়াইলস যখন এটা প্রমাণ করেছিলেন, হাতে গোনা কয়েকজন স্পেশালিস্ট ছাড়া পুরো প্রমাণ পুঙ্খানুপুঙ্খ যাচাই করার ক্ষমতাও কারও ছিল না। অথচ আজ সেটা ১০০% নির্ভুলভাবে কম্পিউটার দিয়ে সিলমোহর মেরে দেওয়া হলো!
লজিকের গভীরতা দেখে আমি নিজেই কিছুক্ষণ হাঁ হয়ে বসেছিলাম ভাই! এআই এখন আর শুধু কনটেন্ট বা কোড জেনারেট করছে না, মানুষের বুদ্ধিবৃত্তিক চিন্তার সর্বোচ্চ শিখরে পা রাখছে।
তবে এখানে একটা কথা আছে।
Claude কিন্তু মহাশূন্য থেকে এটা একাকী আবিষ্কার করেনি। এর পেছনে অ্যানথ্রপিকের রিসার্চারদের গাইডলাইন ছিল, লিন কমিউনিটির দীর্ঘদিনের ফ্রেমওয়ার্ক ছিল এবং ওয়াইলসের মূল প্রমাণের কাঠামো ছিল। তার মানে এআই মানুষকে হটিয়ে দিচ্ছে না, মানুষের জটিল গবেষণার গতিকে হাজার গুণ বাড়িয়ে দিচ্ছে।
আগামী দিনে ডাক্তার, পদার্থবিজ্ঞানী বা সফটওয়্যার আর্কিটেক্টদের পাশে বসে এই এআই জটিল লজিকের ভুলগুলো ধরিয়ে দেবে।
আমার তো মনে হচ্ছে আমরা সত্যিকারের 'সায়েন্টিফিক এআই' এর যুগে ঢুকে গেছি, যেখানে এআই মানুষের চিন্তার সহযোগী হয়ে নতুন ইতিহাস লিখবে। আপনাদের কী মনে হয় - ভবিষ্যতে গণিত বা বিজ্ঞানের নোবেল পুরস্কারের পেছনে কোনো মানুষের সাথে এআই এর নামও কি এক সারিতে দেখা যাবে? কমেন্টে আপনার ভাবনাটা জানান তো দেখি!
Claude Fermat proof এর লিংক প্রথম কমেন্টে দেওয়া রইলো 👇