ওপেনএআই একটি 67-পৃষ্ঠের পেপার প্রকাশ করেছে যেখানে দাবি করা হয়েছে যে কোম্পানির এআই এক্সপোনেনশিয়াল টাইম হাইপোথেসিস (ETH) বাতিল করেছে। এই অনুমানটি 1999 সালের এবং ইথেরিয়াম, ইথেরিয়ামের দাম বা সহ-প্রতিষ্ঠাতা ভিটালিক বুটারিনের সাথে কোনো সম্পর্ক নেই। এই দাবির ফলে X-এ গণিতবিদদের এবং ক্রিপ্টোকারেন্সি ব্যবহারকারীদের মধ্যে আলোচনা শুরু হয়। X-এর একজন ব্যবহারকারী তাকুমি জোক করেন, "দাম! অ্যালগো ট্রেডাররা $ETH-কে পুরোপুরি ধ্বংস করে দিয়েছে।" অ্যান্ড্রু জিয়াং লিখেছেন, "এটা প্রকাশিত হওয়ার পর থেকে ভিটালিক খুবই চুপচাপ।"
কম্পিউটার বিজ্ঞানী রাসেল ইম্পাগলিয়াজো, রামামোহন পাতুরি এবং ফ্রান্সিস জেন ইথ প্রস্তাব করেন। অনুমানটি বলে যে 3-SAT লজিক সমস্যা সমাধান করা প্রতিটি সংমিশ্রণ পরীক্ষা করার চেয়ে অনেক দ্রুত হতে পারে না। 3-SAT সমস্যাটি তিনটি বিকল্প একসাথে সম্পর্কিত নিয়মগুলি সন্তুষ্ট করতে সত্য-বা-মিথ্যা বরাদ্দ খুঁজে বার করার প্রয়োজন। ওপেনএআই বলেছে যে গ্রাফ তত্ত্ব, কম্পিউটেশনাল বায়োলজি, ডাটাবেস এবং জ্যামিতির গণনামূলক সীমাবদ্ধতা প্রতিষ্ঠা করতে শতাধিক পেপার ETH-এর উপর নির্ভরশীল। ওপেনএআই যুক্তি দেয় যে ETH-কে অস্বীকার করা গ্রাফিক্সের গতি বৃদ্ধির সম্ভাবনা এবং ভালো অ্যালগরিদমের দিকে গবেষণা নিয়ে যাওয়ার প্রশ্নগুলির পুনরুজ্জীবন ঘটাতে পারে।
প্রবন্ধটিতে ১৭ অক্টোবর তারিখ এবং ২৫ অক্টোবর সংশোধনের তারিখ উল্লেখ আছে। প্রবন্ধটি একটি determinants নির্ধারক অ্যালগরিদম উপস্থাপন করে, যা কোনো randomness ব্যবহার করে না, এবং যা subexponential সময়ে সব satisfying assignment গণনা করে। Subexponential সময় অর্থ হলো প্রয়োজনীয় কাজের পরিমাণ চলকসংখ্যার কোনো exponential ফাংশনের তুলনায় ধীরে বৃদ্ধি পায়। Satisfying assignment গণনা করা শুধুমাত্র কোনো satisfying assignment আছে কি না তা নির্ধারণ করার চেয়ে বেশি কঠিন, তাই এই গণনার অ্যালগরিদমটি decision problem-টিকেও সমাধান করে। OpenAI বলেছে, AI টি ১৬ অক্টোবর উল্লিখিত খণ্ডনটি আবিষ্কার করেছে। OpenAI আরও বলেছে, এই ফলটি ১৭ অক্টোবর Lean ব্যবহার করে formalized করা হয়, যা এমন একটি সফটওয়্যার যা প্রতিটি যৌক্তিক ধাপ যান্ত্রিকভাবে যাচাই করে। প্রবন্ধটি এবং formalization GitHub-এ উপলব্ধ। OpenAI এ মাসের প্রথম দিকে GitHub-এর মাধ্যমে আরও ৭২২টি গণিতের manuscript প্রকাশ করেছে, কিন্তু এর মধ্যে মাত্র ১৬২টির মধ্যে কম্পিউটার-পরীক্ষিত মূলধন ফল অন্তর্ভুক্ত ছিল।
ইম্প্যাগলিয়াজো, প্যাটুরি এবং এমআইটির রাইয়ান উইলিয়ামস দাবিটির একটি স্বাধীন পরীক্ষা পরিচালনা করছেন। তিনজন গবেষক একটি খোলা চিঠিতে সতর্ক করেছেন যে অংশগ্রহণকে সার্টিফিকেশন হিসাবে ব্যাখ্যা করা উচিত নয়। গবেষকদের মতে, এই প্রকার গুরুত্বপূর্ণ ফলাফলের জন্য কঠোর স্বাধীন পর্যালোচনা এবং অন্যান্য গবেষকদের দ্বারা পুনর্নির্মাণ, চ্যালেঞ্জ এবং উন্নয়নের যোগ্য একটি ব্যাখ্যা প্রয়োজন। ওপেনএআই বলেছে যে অংশগ্রহণকারীদের কোনও পারিশ্রমিক দেওয়া হয়নি এবং তারা কোনও গোপনীয়তা চুক্তি সই করেনি। ওপেনএআই সমস্ত কাঁচা ডেটা প্রকাশ করতে এবং ফলাফলটির উপর একটি সম্মেলনের ব্যয়ভার বহন করতে রাজি হয়েছে।
ওপেনএআই সতর্ক করে যে, উপযোগী অ্যালগরিদম চিহ্নিত করা এবং তাত্ত্বিক অগ্রগতিকে ব্যবহারিক লাভে রূপান্তরিত করতে উল্লেখযোগ্য অতিরিক্ত গবেষণার প্রয়োজন হবে। এই পেপারটি এটি প্রমাণ করে না যে সমস্ত NP সমস্যার জন্য সাব-এক্সপোনেনশিয়াল-সময়ের সমাধান বিদ্যমান। P হল সেই সমস্যাগুলির সেট যেগুলি কম্পিউটারগুলি দক্ষতার সাথে সমাধান করতে পারে, যখন NP হল সেই সমস্যাগুলির সেট যেগুলির প্রস্তাবিত সমাধানগুলি দক্ষতার সাথে যাচাই করা যায়। P-এর বনাম NP, যা জিজ্ঞাসা করে যে দক্ষ যাচাইকরণ কি সবসময় দক্ষ সমাধানকেই বোঝায়, এখনও অনির্ণীত।
অ্যানথ্রোপিক পরবর্তীতে ক্লাউডের নামে একটি পেপার প্রকাশ করে, যার শিরোনাম "A 2^o(n) Time Algorithm for 3-SAT" এবং তারিখ ২৬ অক্টোবর। সংশ্লিষ্ট রিপোজিটরি বলে যে, ক্লাউডের একটি অভ্যন্তরীণ গবেষণা সংস্করণ এই অ্যালগরিদমটি আবিষ্কার করেছে, যা ETH-ও সমাধান করে। রিপোজিটরিটি সতর্ক করে যে, এই ফলাফলটি আসিম্পটোটিক আচরণকে সম্পর্কিত এবং ব্যবহারিক ফর্মুলা সমাধানের কোনও দাবি করে না। ক্লাউড সেপ্টেম্বরে Lean-এর মাধ্যমে ফার্মার শেষ উপপাদ্যটি ফর্মালাইজ করেছিল। গণিতবিদ টেরেন্স তাও সেপ্টেম্বরে সতর্ক করেছিলেন যে, একটি সমস্যার উপর গবেষণার সম্ভাবনা শুনতেই AI-সহায়তায় ব্যাপক প্রচেষ্টা শুরু হয়ে যেতে পারে, যদিও মূল প্রকল্পটি সম্পূর্ণরূপে বিকশিত হয়নি।
সাম্প্রতিক সময়ে ওপেনএআই সিমন্স ফাউন্ডেশনকে 5 মিলিয়ন ডলার অবদান রাখে। এই অবদানটি গবেষকদের কৃত্রিম বুদ্ধিমত্তা দ্বারা উত্পাদিত ফলাফলগুলি পরীক্ষা করতে এবং বিস্তারিত করতে সহায়তা করার জন্য কর্মশালা, সম্মেলন এবং বিশেষ প্রোগ্রামগুলিকে সমর্থন করবে।