Три літери — два світи. Компанія OpenAI опублікувала 67-сторінкову статтю під назвою «Гіпотеза експоненційного часу є хибною» (The Exponential Time Hypothesis is False). Скорочення цієї гіпотези з теоретичної інформатики — ETH. Криптоспільнота у Twitter за лічені хвилини побачила в цьому атаку на ефір (ether) та почала шукати Віталіка Бутеріна.
Друга за капіталізацією криптовалюта не зрушила з місця. ETH теоретиків — хитається, і ця історія набагато цікавіша за непорозуміння.
Ключові моменти
- Стаття OpenAI стосується гіпотези 1999 року про складність логічних завдань, а не блокчейну Ethereum.
- Спростування було знайдено 16 жовтня, а наступного дня формально перевірено в системі доведення Lean.
- Імпальяццо, Патурі та Райан Вільямс керують перевіркою, але наразі відмовляються сертифікувати результат.
- Компанія Anthropic опублікувала конкурентну статтю 26 жовтня, виявлену моделлю Claude.
- Безпека еліптичних кривих та нуль-знань доказів Ethereum не залежить від цієї гіпотези.
ETH проти ETH: непорозуміння, яке змусило Twitter здригнутися
Розгляньмо все спочатку. В колі інформатиків Гіпотеза експоненційного часу (Exponential Time Hypothesis) — це гіпотеза, сформульована у 1999 році Расселом Імпальяццо та Рамамоханом Патурі. Згідно з нею, логічна проблема 3-SAT не може бути вирішена значно швидше, ніж шляхом перебору всіх можливих комбінацій. На неї посилаються сотні наукових праць.
OpenAI тепер стверджує протилежне. Її команда описує детермінований алгоритм, який рахує всі розв’язки задач типу 3-SAT за так званий субекспоненційний час. Знахідка датується 16 жовтня, а її перевірка в асистенті доведення Lean — 17 жовтня. Переглянута 25 жовтня стаття доступна в репозиторії OpenAI на GitHub.
І тут почався короткий замикання. На платформі X користувач під ніком Takumi написав: «Damn algo traders just slaughtered $ETH». Тобто, «алготрейдери щойно знищили ETH». Andrew Jiang додав: «Vitalik has been real quiet since this came out». Зрозуміло: Віталік мовчить відтоді, як це вийшло. Прочитавши занадто швидко, заголовок здається некрологом.
Але курс нічого не помітив. За даними CoinGecko, в середу, 28 жовтня, о 14:00 ефір торгувався близько 2 350 доларів, майже без змін за 24 години. Водночас розробники Ethereum працювали над виправленням Glamsterdam для депозитів стейкінгу.
Що змінює результат OpenAI і що не змінює
Перше уточнення для власників ефіру. Криптографія Ethereum не базується на ETH теоретиків. ЕЦП-підписи (ECDSA) залежать від складності дискретного логарифму на еліптичних кривих. Нуль-знань докази, своєю чергою, ґрунтуються на інших гіпотезах. Швидший алгоритм для підрахунку розв’язків 3-SAT не дає нікому доступу до вашого приватного ключа. Реальна проблема для блокчейну залишається квантовий комп’ютер.
Друге уточнення для всіх. Навіть якщо результат виявиться правдивим, це не означає, що всі NP-задачі вирішуються швидко. Питання P проти NP, найвідоміше в інформатиці, залишається відкритим. OpenAI сама пише про це у своїй статті. На їхню думку, спростування «знову відкриває питання, наскільки швидшими можуть стати ці завдання». І знаходження таких алгоритмів «вимагатиме значних додаткових досліджень».
Третє, найважливіше уточнення. Імпальяццо, Патурі та Райан Вільямс з MIT, які керують незалежною перевіркою, опублікували лист під назвою «Повідомлення спільноті TCS щодо ETH» (Message to the TCS Community on ETH). Вони пишуть, що «наша участь не повинна сприйматися як сертифікація твердження». Вони додають, що «результат такої важливості вимагає ретельної та незалежної перевірки», згідно з уривками, опублікованими Decrypt. Зі свого боку, OpenAI діяла відкрито, щоб розвіяти підозри. Жодних угод про нерозголошення, не оплачувані учасники, опубліковані сирі дані та 5 мільйонів доларів, пожертвуваних Simons Foundation.
Anthropic також опублікувала алгоритм для 3-SAT
Серіал має продовження. 26 жовтня Anthropic випустила конкурентну статтю «Алгоритм часу 2^o(n) для 3-SAT» (A 2^o(n) Time Algorithm for 3-SAT). Згідно з репозиторієм, алгоритм знайшла внутрішня дослідницька модель Claude. Однак стаття попереджає, що «результат є суто асимптотичним і нічого не говорить про практичне розв’язання формул». Теренс Тао, до речі, передбачив це ще у вересні: «проста чутка про те, що хтось працює над проблемою, може спровокувати масові зусилля за допомогою ШІ».
Отже, єдиним ETH, що впав цього тижня, стала математична гіпотеза. Щодо лабораторії, яка другою її похитнула, Anthropic, вона готується до виходу на біржу. Акції, які Вашингтон продав занадто рано, тепер коштують близько 4 мільярдів доларів, за нашими оцінками.
Джерело новини: journalducoin.com