আপনি সম্ভবত "OpenAI প্রমাণ করেছে ETH মিথ্যা" গবেষণা দেখেছেন। শ্বাস ফেলুন। এটা যতই হাস্যকর শোনাক, ETH এখানে ইথেরিয়াম নয়, এবং ইথেরিয়ামের সাথে এর কোনো সম্পর্ক নেই। এখানে ETH হলো এক্সপোনেনশিয়াল টাইম হাইপোথেসিস, ২০০১ সালের একটি ধারণা যা কম্পিউটার বিজ্ঞানের সবচেয়ে কঠিন সমস্যাগুলির কঠিনতার বিষয়ে। সহজ ভাষায়। SAT নামের একটি পাঠ্যবই-স্তরের কঠিন সমস্যা আছে: একটি দীর্ঘ যুক্তিগত সূত্র, যা সত্য করে তোলার জন্য মানগুলি খুঁজে বার করতে হয়। সবাই ধরে নিয়েছিলো, একমাত্র উপায় হলো 2^n সমস্ত সম্ভাব্যতা পরীক্ষা করা, প্রায়। শতাধিক "এই কাজটি SAT-এর মতোই কঠিন" ফলাফলগুলি এই ধারণার উপর নির্ভরশীল। একটি OpenAI মডেল 67-পৃষ্ঠার একটি পেপার লিখেছে, যাতে 2^n-এর চেয়ে অনেক বেশি দ্রুত SAT-এর সমাধানের জন্য একটি অ্যালগরিদম দেওয়া হয়েছে। যদি এটি প্রমাণিত হয়, তবে ধারণাটি মিথ্যা, এবং অনেকগুলি তত্ত্বকে পুনর্লিখন করতে হবে। Lean formalizationটি প্রকাশিত,এখন 3টি top complexity theoristsএটির পরীক্ষা-নিরীক্ষা করছেন।