مدل هوش مصنوعی شرکت اوپنای‌آی با ارائه یک برهان ریاضی موفق شد فرضیه ۲۷ ساله زمان نمایی یا همان ETH را به چالش بکشد و آن را رد کند. این فرضیه در سال‌های دور توسط راسل ایمپالیاجو، راماموهان پاتوری و فرانسیس زین مطرح شده بود و محدودیت سرعت حل مسائل پیچیده محاسباتی را توضیح می‌داد. شرکت اوپنای‌آی در تاریخ ۲۶ اکتبر اعلام کرد که مدل داخلی‌اش این برهان را در تاریخ ۱۶ اکتبر کشف کرده و استدلال آن یک روز بعد در سامانه اثبات رسمی بررسی شده است. در این برهان از قضیه‌ای موسوم به لم پراکندهسازی استفاده شده که خود نویسندگان اصلی فرضیه در سال ۲۰۰۱ ارائه کرده بودند. این دستاورد علمی اگرچه سرعت رایانه‌ها را به صورت مستقیم تغییر نمی‌دهد، اما نقطه عطفی در حل مسائل پیچیده دنیای کامپیوتر به شمار می‌رود. دانشمندان علوم کامپیوتر این موفقیت را گامی مهم در تحلیل مسائل سخت محاسباتی می‌دانند.
