OpenAI та Anthropic заявили про спростування ключової гіпотези інформатики
Компанії OpenAI та Anthropic заявили, що за допомогою штучного інтелекту спростували гіпотезу експоненційного часу (ETH), яка протягом 27 років була однією з важливих передумов досліджень у теоретичній інформатиці. Доведення ще не пройшли незалежної перевірки: науковці лише починають детально їх вивчати, повідомляє Wired.
ETH виходить із припущення, що для розв’язання певних задач обчислювальні витрати зростають експоненційно разом зі збільшенням розміру задачі. На цій передумові ґрунтуються значні масиви досліджень зі складності обчислень і розробки алгоритмів.
Обидві компанії оприлюднили свої докази на GitHub — у звичайному тексті та у форматі Lean, придатному для машинної перевірки. OpenAI звернулася до фахівців Каліфорнійського університету в Санта-Барбарі, які запропонували початкову версію гіпотези, а також до дослідника Массачусетського технологічного інституту, який спростовував одну з версій ETH. Компанія також пообіцяла профінансувати конференцію, присвячену розбору результатів.
Професор Лінчепінзького університету Петер Йонссон сказав, що значна частина його роботи, яку мають представити на IEEE Symposium on Foundations of Computer Science, після цих заяв стала «мертвою». Він очікує, що подібна ситуація може бути поширеною серед учасників конференції, чиї висновки спираються на ETH.
Професор Каліфорнійського університету в Санта-Барбарі Даніель Локштанов оцінив, що у разі підтвердження результату йому доведеться переглянути приблизно 50 опублікованих робіт. Керівник дослідницької групи алгоритмів в IT University of Copenhagen Торе Гусфельдт зазначив, що результат може зробити неактуальними його поточні дослідження, але водночас відкриває нові напрями для роботи.
Доцент Лінчепінзького університету Віктор Лагерквіст планує повернутися до задач, від яких раніше відмовився через припущення про правильність ETH. Локштанов також зауважив, що цей результат безпосередньо не змінює криптографію, однак має насторожити розробників деяких криптосистем, які спираються на припущення про практичну складність математичних задач.
На початку жовтня OpenAI виклала на GitHub 722 рукописи щодо 400 задач. Частина науковців критикувала такий обсяг матеріалів, а також помилки в окремих документах. За оцінками співрозмовників видання, нинішня робота OpenAI щодо ETH обсягом понад 60 сторінок підготовлена краще за попередні публікації компаній.
- Останні
- Популярні
Новини по днях
29 жовтня 2026
