নিয়ম

26 অক্টোবর, 2026 তারিখে OpenAI ঘোষণা করে যে তাদের AI সিস্টেম "প্রমাণ করেছে ETH ভুল, এবং ফলাফলটি পরে Lean-এ যাচাই করা হয়েছে।" (দেখুন: https://openai.com/index/building-scientific-understanding-with-academic-communities/) নির্ধারিত তারিখ ও সময় 11:59 PM ET-এর মধ্যে নিচে তালিকাভুক্ত যোগ্য নিশ্চিতকরণ পদ্ধতির অন্তত একটির মাধ্যমে Exponential Time Hypothesis-এর একটি খণ্ডন নিশ্চিত হলে, এই বাজারের নিষ্পত্তি হবে "হ্যাঁ" হিসেবে। অন্যথায়, এই মার্কেটের ফল হবে "না"。 "Exponential Time Hypothesis" বলতে Russell Impagliazzo এবং Ramamohan Paturi প্রণীত সেই অনুমানকে বোঝায় যে 3-SAT সমস্যাটি সাবএক্সপোনেনশিয়াল সময়ে সমাধান করা যায় না। "খণ্ডন" বলতে এমন যেকোনো গাণিতিক প্রমাণ বোঝায় যা দেখায় যে Exponential Time Hypothesis ভুল; এর মধ্যে OpenAI-এর "The Exponential Time Hypothesis is False" শিরোনামের গবেষণাপত্রে (https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf) উপস্থাপিত প্রমাণ এবং OpenAI বা অন্যদের করা এর যেকোনো সংশোধিত, পরিমার্জিত বা সম্প্রসারিত সংস্করণ অন্তর্ভুক্ত। যেসব নিশ্চিতকরণে কেবল অপেক্ষাকৃত দুর্বল ফলাফল প্রতিষ্ঠিত হয়, যেমন এমন দ্রুততর অ্যালগরিদম যা Exponential Time Hypothesis-কে খণ্ডন করে না, অথবা যেগুলো কেবল প্রমাণ করে যে OpenAI-এর Lean কোড কম্পাইল হয়, সেগুলো যোগ্য হবে না। যোগ্য নিশ্চিতকরণ পদ্ধতিগুলো হলো: (i) পিয়ার-রিভিউ করা প্রকাশনা: খণ্ডন উপস্থাপনকারী কোনো গবেষণাপত্র, OpenAI বা অন্য গবেষকদের লেখা হোক না কেন, কোনো স্বনামধন্য পিয়ার-রিভিউ করা বৈজ্ঞানিক সাময়িকীতে বা পিয়ার-রিভিউ করা সম্মেলনে (যেমন STOC, FOCS, SODA) প্রকাশিত হয়, অথবা সেখানে প্রকাশের জন্য গৃহীত হয়। প্রিপ্রিন্ট এবং পিয়ার রিভিউ সম্পন্ন হয়নি এমন অন্যান্য প্রকাশনা যোগ্য হবে না। পিয়ার রিভিউ সম্পন্ন হয়নি এমন প্রিপ্রিন্ট এবং অন্যান্য প্রকাশনা যোগ্য হবে না। (ii) স্বাধীন যাচাই: Russell Impagliazzo, Ramamohan Paturi এবং Ryan Williams-এর নেতৃত্বাধীন পর্যালোচনা দল, এই তিন গবেষকের যেকোনো একজন, অথবা OpenAI-এর সঙ্গে সংশ্লিষ্ট নন এমন অন্য কোনো বিশ্বাসযোগ্য গবেষক বা গবেষণা দল প্রকাশ্যে নিশ্চিত করেন যে খণ্ডনটি সঠিক। নিশ্চিতকরণে কোনো শর্ত ছাড়াই বলতে হবে যে খণ্ডনটি সঠিক অথবা Exponential Time Hypothesis ভুল (যেমন, প্রমাণটি পরীক্ষা করে সঠিক বলে পাওয়া গেছে)। যাচাইকারী গবেষক, দল বা তাদের সদস্যদের এটি প্রকাশ করতে হবে; এর মধ্যে গবেষণাপত্র, প্রিপ্রিন্ট, ওয়েবসাইট, ব্লগ বা আনুষ্ঠানিক সামাজিক যোগাযোগমাধ্যমের অ্যাকাউন্টে প্রকাশ অন্তর্ভুক্ত। কেবল OpenAI-এর মাধ্যমে জানানো নিশ্চিতকরণ যোগ্য হবে না। নিশ্চিতকরণটি লিখিত প্রমাণ, Lean ফরমালাইজেশন বা উভয়ের পর্যালোচনার ওপর ভিত্তি করে হতে পারে; Lean ফরমালাইজেশনের ওপর ভিত্তি করা নিশ্চিতকরণ তখনই যোগ্য হবে, যদি তাতে বলা হয় যে ফরমালাইজ করা ফলাফলটি প্রমাণ করে Exponential Time Hypothesis ভুল। পর্যালোচনা চলছে, এ পর্যন্ত কোনো ত্রুটি পাওয়া যায়নি, অথবা খণ্ডনটি সম্ভবত সঠিক—এমন বক্তব্য যোগ্য হবে না। নির্ধারিত তারিখের পরে প্রকাশিত বা জনসমক্ষে আনা নিশ্চিতকরণ বিবেচনা করা হবে না, এমনকি এর ভিত্তিতে করা পর্যালোচনাটি ওই তারিখের আগে হয়ে থাকলেও। OpenAI-এর কর্মচারী, ঠিকাদার এবং বিনিয়োগকারীদের OpenAI-এর সঙ্গে সংশ্লিষ্ট বলে গণ্য করা হবে। Russell Impagliazzo, Ramamohan Paturi এবং Ryan Williams-এর নেতৃত্বাধীন পর্যালোচনা দল এবং এর সদস্যদের OpenAI-এর সঙ্গে সংশ্লিষ্ট বলে গণ্য করা হবে না। পর্যালোচনা দলের এই বক্তব্য যে তাদের অংশগ্রহণকে দাবিটির প্রত্যয়ন হিসেবে বিবেচনা করা উচিত নয়, তা দল বা এর সদস্যদের পরবর্তী কোনো যোগ্য নিশ্চিতকরণকে নিষ্পত্তিতে গণ্য করার ক্ষেত্রে বাধা হবে না। OpenAI বা এর সহযোগীদের বক্তব্য, সামাজিক যোগাযোগমাধ্যমের পোস্ট বা সংবাদ বিজ্ঞপ্তি, কেবল এসব দাবি পুনরাবৃত্তি করা সংবাদমাধ্যমের প্রতিবেদন, এবং OpenAI প্রকাশিত Lean ফরমালাইজেশন—কোনোটিই এককভাবে যোগ্য হবে না। এই বাজারের নিষ্পত্তির উৎস হবে যোগ্য নিশ্চিতকরণের বৈধতা যাচাইকারী বিশ্বাসযোগ্য সূত্র ও সংশ্লিষ্ট বৈজ্ঞানিক বিশেষজ্ঞদের ঐকমত্য।

মেশিন অনুবাদ। বিরোধের ক্ষেত্রে মূল পাঠ প্রযোজ্য।