OpenAI та Anthropic спростували гіпотезу експоненційного часу, науковці готуються до обговорення

Нові результати OpenAI та Anthropic

Як повідомляє НВ — Техно: 28 жовтня OpenAI та Anthropic оприлюднили результати, які можуть спростувати гіпотезу експоненційного часу (ETH), важливу у теоретичній інформатиці. Алгоритми, розроблені обома компаніями, здатні розв’язувати складні задачі за субекспоненційний час, що викликало жваві дискусії серед науковців. Професор Массачусетського технологічного інституту Раян Вільямс, який спеціалізується на складності обчислень, закликав до спільної перевірки та обговорення наслідків нових результатів. Якщо підтвердиться, що ці алгоритми дійсно дозволяють розв'язувати задачі швидше, ніж передбачає ETH, це може змінити фундаментальні уявлення про складність обчислень і вплинути на криптографічну безпеку.

Гіпотеза експоненційного часу

Гіпотеза експоненційного часу була сформульована в 1999 році дослідниками Расселом Імпальяццо та Рамамоханом Патурі. ETH стверджує, що час пошуку розв’язку складних логічних задач зростає експоненційно зі збільшенням кількості змінних. Ця гіпотеза стала основою для багатьох наукових публікацій останнього десятиліття, і питання про збіг класів P і NP залишається відкритим.

Відзначається, що компанія OpenAI перевірила питання вразливості криптографічних систем і дійшла попереднього висновку, що запропоновані алгоритми не свідчать про злам таких систем.

“Компанія перевірила питання вразливості криптографічних систем і дійшла попереднього висновку, що запропоновані алгоритми не свідчать про злам таких систем” - Раян Вільямс.

Дослідники з Каліфорнійського університету в Сан-Дієго, Рассел Імпальяццо та Рамамохан Патурі, були першими, хто сформулював ETH. Вільямс підкреслив, що

“у доведенні OpenAI є кілька незвичних частин, які потребують спільної роботи фахівців”

. Також він відзначив, що “нова гіпотеза може спонукати науковців серйозніше розглянути можливість збігу P і NP, хоча це ще не дає остаточної відповіді”. Штучний інтелект, за його словами, спонукає дослідників братися за складніші питання та шукати нові напрямки роботи.

Наукова спільнота планує обговорити докази, алгоритми та наслідки результатів, що відкриває нові горизонти для досліджень у галузі теоретичної інформатики та криптографії.

Ці результати можуть мати значний вплив на розвиток теоретичної інформатики, оскільки підтвердження або спростування гіпотези експоненційного часу може змінити підходи до розв'язання складних задач. Зокрема, це може вплинути на криптографічні методи, які покладаються на певні припущення щодо складності обчислень. Важливість подальших досліджень у цій сфері важко переоцінити, адже успіхи в цій галузі можуть відкрити нові можливості для застосування штучного інтелекту в різних сферах.

У той час як нові алгоритми OpenAI та Anthropic викликають дискусії про можливості швидшого розв'язання складних задач, дослідники з США також розробили формулу, що може допомогти у прогнозуванні збоїв штучного інтелекту. Це відкриття підкреслює важливість наукових досліджень у сфері AI та їх вплив на безпеку та ефективність технологій.