Штучний інтелект OpenAI спростував математичну гіпотезу, яка трималася 30 років

Розробники ChatGPT стверджують, що їхні моделі розібралися з фундаментальним припущенням комп’ютерних наук. Це відкриття може змусити вчених переписати наукові посібники.

Творці чатбота ChatGPT оголосили на сайті OpenAI про несподіваний прорив: їхні моделі штучного інтелекту спростували гіпотезу експоненційного часу (ETH). Це фундаментальне твердження майже три десятиліття визначало теоретичні межі швидкості вирішення складних обчислювальних завдань.

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

Шок у науковій спільноті

Для академічного середовища ця новина стала повною несподіванкою. Професор Федір Фомін з Бергенського університету зізнався, що такого результату не очікував ніхто, і якщо доказ підтвердиться остаточно, йому доведеться переглядати власні підручники з теорії алгоритмів.

Зі свого боку Леслі Голдберг з Оксфордського університету зазначила, що в разі верифікації це стане величезним науковим стрибком, хоча на знамениту задачу рівності класів P і NP відкриття прямо не впливає.

Окрім результатів щодо ETH, дослідники OpenAI заявили про ще кілька досягнень: доведення гіпотези 1991 року про поширення хвиль, а також математичне обґрунтування окремих положень квантової теорії поля.

Перевірка та дискусії

Правильність розрахунків щодо гіпотези експоненційного часу розробники спочатку підтвердили за допомогою спеціальної програми для верифікації математичних доказів Lean. Наразі компанія залучила незалежну групу експертів, до якої увійшли й автори самої гіпотези Рассел Імпальяццо та Рамамохан Патурі, які детально перевіряють роботу.

Водночас стрімка швидкість досліджень викликає у частини вчених суперечливі почуття. Окремі науковці застерігають щодо практики публікацій таких результатів через пресрелізи технологічних компаній, наголошуючи, що для повного осмислення та розуміння природи знайдених ШІ рішень потрібен час.

• Теги:
• Цікавинки
• Популярне
• Наука
• Назарій Лазур
• Технології