বৈজ্ঞানিক গবেষণায় মেশিন লার্নিংয়ের ব্যবহারে এক নতুন মাইলফলক অর্জিত হয়েছে। কৃত্রিম বুদ্ধিমত্তা সিস্টেম এখন থেকে পূর্বে সমাধান না হওয়া জটিল গাণিতিক সমস্যার সমাধান এবং তার সত্যতা যাচাই করতে পারছে বলে সায়েন্স জার্নালে প্রকাশিত এক নিবন্ধে জানিয়েছেন বিজ্ঞানীরা।

এআই চালিত গাণিতিক গবেষণা ও সফলতার ক্ষেত্রসমূহ:

• আলফাপ্রুফ নেক্সাস: গুগল ডিপমাইন্ডের তৈরি এই এআই সিস্টেম লার্জ ল্যাঙ্গুয়েজ মডেল এবং ‘লীন’ (Lean) নামক কম্পিউটারভিত্তিক গাণিতিক প্রুফ অ্যাসিস্ট্যান্টের সমন্বয়ে কাজ করে। ফলে এটি প্রচলিত চ্যাটবটের মতো ভুল তথ্য না দিয়ে নিখুঁত যুক্তি যাচাই করতে পারে।

• Erdős-এর সমস্যার সমাধান: বিখ্যাত গণিতবিদ পল পল এর্ডোসের (Paul Erdős) ৩৩৫টি উন্মুক্ত সমস্যার মধ্যে ৯টির সফল সমাধান করেছে এই এআই, যার মধ্যে দুটি সমস্যা গত ৫০ বছর ধরে অমীমাংসিত ছিল।

• অন্যান্য ক্ষেত্রে প্রয়োগ: এআই সিস্টেমটি বীজগণিতীয় জ্যামিতি (algebraic geometry), গ্রাফ তত্ত্ব, কম্বিনেটরিক্স এবং কোয়ান্টাম অপটিকস সংক্রান্ত বহু অমীমাংসিত অনুমানের সফল প্রমাণ করেছে।

ভবিষ্যৎ সম্ভাবনা: গবেষকরা জানিয়েছেন, এআই কেবল সঠিক উত্তরই খুঁজে দিচ্ছে না, বরং ব্যর্থ প্রমাণের চেষ্টাগুলো থেকেও গবেষকদের নতুন দিকনির্দেশনা দিতে সাহায্য করছে। তবে গাণিতিক সমস্যাগুলোর সঠিক ইনপুট নিশ্চিত করতে এখনো মানব বিশেষজ্ঞের তত্ত্বাবধান অপরিহার্য।