Ви, ймовірно, бачили дослідження «OpenAI довела, що ETH — це брехня». Видихніть. Наскільки дивно це не звучить, тут ETH — це не ETH, і це не має нічого спільного з Ethereum. ETH тут — це Гіпотеза експоненційного часу, припущення 2001 року про те, наскільки складними є найскладніші задачі в інформатиці. Простими словами. Є класична складна задача під назвою SAT: довга логічна формула, знайдіть значення, які роблять її істинною. Усі вважали, що єдиний спосіб — перебрати всі 2^n комбінації, більш-менш. Сотні результатів «ця задача така ж складна, як SAT» ґрунтуються на цьому припущенні. Модель OpenAI написала 67-сторінкову статтю з алгоритмом, який робить це значно швидше, ніж 2^n. Якщо він виявиться правильним, припущення опиниться спростованим, і багато теорій доведеться переписати. Формалізація вже опублікована, три провідних теоретики складності зараз її перевіряють.