هوش مصنوعی فرضیه ۲۷ ساله زمان نمایی در علوم کامپیوتر را رد کرد

در یک تحول بنیادین که می‌تواند معادلات علوم کامپیوتر را بازنویسی کند، هوش مصنوعی شرکت OpenAI با ارائه یک برهان ریاضی خیره‌کننده، موفق شد فرضیه زمان نمایی (ETH) را که برای بیش از ربع قرن به عنوان یک مرز غیرقابل عبور شناخته می‌شد، به چالش بکشد.

شکست فرضیه ۲۷ ساله در برابر هوش مصنوعی

فرضیه ETH که توسط دانشمندان برجسته‌ای همچون راسل ایمپالیاجو و راماموهان پاتوری مطرح شده بود، بر این اصل استوار بود که برخی مسائل محاسباتی هرگز نمی‌توانند با سرعتی فراتر از رشد نمایی حل شوند. اما اکنون، مدل‌های پیشرفته هوش مصنوعی با یافتن الگوریتمی که زمان حل مسائل را از حالت نمایی به حالت زیرنمایی کاهش می‌دهد، این دیوار بلند را فرو ریخته‌اند.

این دستاورد که در تاریخ ۱۶ اکتبر ۲۰۲۶ توسط تیم OpenAI کشف شد، از طریق سیستم اثبات رسمی Lean بازبینی و تایید شده است. نکته عجیب اینجاست که پژوهشگران برای رد این فرضیه، از همان ابزارهای ریاضی استفاده کرده‌اند که سال‌ها پیش برای اثبات آن ساخته شده بودند.

معمای 3-SAT و مرزهای محاسباتی

برای درک اهمیت این اتفاق، باید با مسئله مشهور 3-SAT آشنا شد؛ معمایی که در آن باید ترکیبی از متغیرهای «روشن» یا «خاموش» پیدا شود تا مجموعه‌ای از شرط‌های منطقی برقرار گردد. این مسئله از نوع NP-کامل است و حل سریع آن می‌تواند کلید حل هزاران مسئله پیچیده دیگر در طراحی تراشه و زمان‌بندی پروازها باشد.

تفاوت اصلی در نوع رشد زمان محاسبه است:

پیامدهای علمی و آینده دنیای کامپیوتر

اگرچه این کشف به معنای شکستن فوری رمزنگاری‌ها یا تغییر آنی سرعت کامپیوترها نیست، اما اعتبار علمی صدها مقاله که بر پایه فرض ETH نوشته شده‌اند را با چالش جدی روبرو می‌کند. این الگوریتم جدید نه تنها مسئله اصلی، بلکه نسخه دشوارتر آن یعنی شمارش تمام پاسخ‌های درست (#SAT) را نیز پوشش می‌دهد.

"رد فرضیه ETH به معنای فروپاشی ناگهانی ساختمان علم نیست، بلکه نیازمند بازبینی تک‌تک ستون‌هایی است که بر این فرض بنا شده‌اند."

در نهایت، این پیشرفت گامی بزرگ به سوی درک بهتر رابطه میان P و NP است. اگرچه هنوز فاصله زیادی تا حل کامل این معمای بزرگ داریم، اما نشان داده شده است که مرزهای آنچه «غیرممکن» می‌پنداشتیم، بسیار فراتر از تصور ماست.