مودل داخلی OpenAI فرضیه زمان نمایی (ETH) را رد کرده است. این فرضیه که به عنوان یک فرضیه گسترده در علوم کامپیوتر شناخته میشود، به سختی حل مسئله رضایتپذیری بولی اشاره دارد. OpenAI در ۱۶ اکتبر ۲۰۲۶ این رد را کشف کرد و در روز بعد آن را با استفاده از زبان Lean، یک زبان برای تأیید اثباتهای ماشین، بررسی کرد. شرکت این اثبات و توضیحات مربوطه را در GitHub منتشر کرده است. گروهای از محققان از جمله راسل امپالیاتزو، راماموهان پاتوری و رایان ویلیامز برای بررسی مستقل این نتیجه مسئولیت پذیرفتهاند. OpenAI همچنین اثباتهایی در ریاضیات و فیزیک ارائه کرده است که شامل اثبات فرضیه هموارسازی محلی و اثبات وجود برخی نظریههای میدان کوانتومی در چهار بعدی است.