Можливо, штучний інтелект вперше поставив під сумнів одну з найфундаментальніших припущень інформатики. Але більша історія — не в ETH. 26 жовтня OpenAI оголосила, що внутрішня модель штучного інтелекту сформулювала претензію на спростування Експоненційної гіпотези часу (ETH) — фундаментальної гіпотези, що лежить в основі сотень результатів про обчислювальну складність. Претензія: детермінований підекспоненційний алгоритм для точного підрахунку задовольняючих присвоєнь у булевих формулах фіксованої ширини. Якщо це правда, ETH руйнується. Разом з ним — кілька сильніших гіпотез. Але P ≠ NP залишається нерозв’язаним. Теоретично швидший не означає обов’язково практично корисний. Доведення було формалізовано в Lean. Незалежне дослідження організовують Рассел Імпагліаццо, Рамамохан Патурі та Райан Вільямс з MIT. Їхня участь — не схвалення. Незалежна перевірка залишається обов’язковою. Моя думка: ми потенційно стаємо свідками не одного, а трьох проривів. Математичний: довгостроковий бар’єр у теорії обчислювальної складності може бути знищений. Науковий: штучний інтелект може перейти від допомоги дослідникам до генерації справді нових знань. Інституційний: наукова спільнота повинна переглянути, як перевіряються, розуміються, визнаються та відтворюються відкриття. Третій може виявитися найважливішим. Протягом століть генерація високодослідних відкриттів вимагала рідкісної людської експертизи та років досліджень. Що відбудеться, коли штучний інтелект зможе генерувати правдоподібні математичні відкриття швидше, ніж люди зможуть їх незалежно перевірити та зрозуміти? Обмеження зміщується від відкриття до перевірки, інтерпретації та наукового судження. А згодом штучний інтелект може прискорити й ці процеси. Справжній переломний момент — не в тому, що штучний інтелект розв’язав одну відому проблему. А в тому, що він повторно розширює межу людських знань. Ми ще не дойшли до остаточного висновку. Але цей розвиток вимагає серйозної уваги. Питання вже не просто в тому, наскільки розумним може стати ШІ. А в тому, чи зможуть наші наукові інституції еволюціонувати достатньо швидко, щоб оцінити те, що виявляє ШІ. Оголошення OpenAI: https://t.co/G0p0VEMjlC Наукові статті та формалізації в Lean: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI