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