ادعای جنجالی اوپن ای‌آی راجع به رد یک فرضیه قدیمی علوم کامپیوتر
کمپانی اوپن ای‌آی (OpenAI) اعلام کرده که یکی از مدل‌های هوش مصنوعی داخلی این کمپانی موفق به ارائه اثباتی برای رد فرضیه زمان نمایی (ETH) شده است؛ فرضیه‌ای مهم در علوم کامپیوتر که نزدیک به سه دهه مبنای مطالعات گسترده‌ای بوده است.
این فرضیه به محدودیت سرعت حل مسائل پیچیده محاسباتی مربوط می‌شود و رد آن، در صورت تأیید مستقل، می‌تواند درک دانشمندان از توانایی الگوریتم‌ها را تغییر دهد.
طبق اطلاعیه رسمی اوپن ای‌آی در تاریخ ۴ آبان، مدل هوش مصنوعی این کمپانی در ۲۴ مهر به نتیجه موردنظر رسیده و یک روز بعد، اثبات آن با استفاده از ابزار ریاضی «لین» (Lean) به‌صورت ماشینی بررسی شده است. فرضیه زمان نمایی بیان می‌کند که حل بعضی مسائل محاسباتی در بدترین حالت به زمانی نیاز دارد که با بالا رفتن اندازه مسئله، به‌شدت توسعه می‌کند. رد این فرضیه می‌تواند مسیر مطالعات برای طراحی الگوریتم‌های سریع‌تر را هموار کند، هرچند تبدیل چنین دستاوردی به کاربردهای عملی نیازمند پژوهش‌های بیشتری است.
بررسی ادعای OpenAI به دست دانشمندان برجسته
برای بررسی مستقل این ادعا، سه پژوهشگر برجسته علوم کامپیوتر شامل راسل ایمپاگلیاتزو (Russell Impagliazzo)، موهان پاتوری (Mohan Paturi) و رایان ویلیامز (Ryan Williams) مسئولیت نهاد‌دهی یک گروه علمی را بر عهده گرفته‌اند. نکته قابل‌توجه اینکه ایمپاگلیاتزو و پاتوری از پژوهشگرانی هستند که خود در مطرح‌کردن فرضیه زمان نمایی نقش داشته‌اند و اکنون قرار است به بررسی ادعای رد آن کمک کنند.
رایان ویلیامز روز سه‌شنبه ۵ آبان در پلتفرم اجتماعی ایکس اعلام کرد که اعضای این گروه بدون دریافت دستمزد و امضای قرارداد محرمانگی فعالیت خواهند کرد و یافته‌های خود را به‌صورت عمومی منتشر می‌کنند. به درخواست این پژوهشگران، اوپن ای‌آی با عرضه داده‌های خام، فایل‌های اثبات و کدهای مربوط به بررسی ریاضی و همچنین تأمین هزینه برگزاری یک کنفرانس علمی موافقت کرده است. با وجود بررسی ماشینی اثبات، اعتبار علمی این نتیجه هنوز نیازمند سنجش مستقل پژوهشگران است و ادعای رد فرضیه زمان نمایی نباید یک دستاورد قطعی و تأییدشده تلقی شود.
