গণিতের তিন বড় অমীমাংসিত সমস্যার সমাধানের দাবি ওপেনএআইয়ের

ওপেনএআই দাবি করেছে, তাদের অভ্যন্তরীণ এআই মডেল গণিত, কম্পিউটার বিজ্ঞান ও পদার্থবিজ্ঞানের তিনটি দীর্ঘদিনের অমীমাংসিত প্রশ্নে নতুন ফল বের করেছে। সোমবার (২৬ অক্টোবর) প্রতিষ্ঠানটি এ ঘোষণা দেয়।

তিন দাবি

• এক্সপোনেনশিয়াল টাইম হাইপোথিসিস (ইটিএইচ): জটিলতা তত্ত্বের এই ধারণাকে বহু বছর সত্য ধরে নিয়ে অনেক গবেষণা হয়েছে। ওপেনএআইয়ের দাবি, তাদের মডেল এটিকে ভুল প্রমাণ করেছে এবং প্রমাণটি লিন (Lean) নামের গাণিতিক যাচাই-সফটওয়্যারে লেখা হয়েছে। প্রতিষ্ঠানটি অবশ্য বলেছে, এর মানে P=NP প্রমাণ নয়।
• লোকাল স্মুদিং ও কাকেয়া অনুমান: সব মাত্রায় সগের লোকাল স্মুদিং অনুমানের প্রমাণের দাবি, যা থেকে কাকেয়া অনুমানও প্রমাণিত হয়।
• ইয়াং-মিলস: চার মাত্রায় ইয়াং-মিলস তত্ত্বের অস্তিত্বের প্রমাণের দাবি, যা ক্লে ইনস্টিটিউটের মিলেনিয়াম পুরস্কারের সাত সমস্যার একটির সঙ্গে যুক্ত।

যাচাই চলছে

প্রতিটি দাবি পর্যালোচনার জন্য খ্যাতনামা গবেষকদের দল কাজ করছে। ইটিএইচ পর্যালোচনায় যুক্ত গবেষকেরা এক খোলা চিঠিতে জানিয়েছেন, তাঁদের অংশগ্রহণকে দাবির স্বীকৃতি হিসেবে ধরা উচিত নয়। ইয়াং-মিলস নিয়ে কাজ করা দলটি এআইয়ের তৈরি উপকরণ এখনই প্রকাশ না করে নিজেরা লিখে প্রকাশ করবে বলে জানা গেছে।

ওপেনএআই বলেছে, এসব ফলের জন্য তারা কোনো একাডেমিক কৃতিত্ব দাবি করবে না। বিশেষজ্ঞরা মনে করিয়ে দিচ্ছেন, লিনে প্রমাণ মিলে গেলেও সেটি মূল গাণিতিক প্রশ্নটিকে ঠিকঠাক প্রকাশ করছে কি না, তা মানুষকেই যাচাই করতে হয়।