OpenAI оголосила, що її система штучного інтелекту згенерувала математичні доведення, які, за заявою компанії, здатні поставити під сумнів низку усталених уявлень у математиці та комп'ютерних науках. Центральним результатом стала робота над гіпотезою локального згладжування — задачею гармонійного аналізу, сформульованою математиком Кристофером Согге ще у 1991 році. За словами розробників, моделі OpenAI довели цю гіпотезу для всіх просторових вимірів, а підсумкове доведення було згенеровано 18 жовтня 2026 року та вже наступного дня формалізоване в інтерактивному середовищі Lean.
Що таке гіпотеза локального згладжування
Гіпотеза описує поведінку хвиль у момент їхньої концентрації та стверджує, що екстремальна фокусувальність хвильового поля не може підтримуватися тривалий час. Формально йдеться про оцінку норми оператора еволюції (у записі, наведеному в матеріалах компанії, — через експоненціальний оператор із квадратним коренем з лапласіана) у просторах Лебега на многовиді M. До роботи OpenAI вчені лише наближалися до повного результату: у 2019 році гіпотеза згладжування була доведена для двох вимірів, а у 2025 році підтверджена тривимірна гіпотеза Кокеї. Нове доведення, за заявою розробників, автоматично закриває ще два відомі математичні питання, пов'язані з цією темою.
Як ШІ прийшов до рішення і чому це важливо
Згідно з повідомленням OpenAI, саме нейромережеві моделі компанії вивели доведення, що охоплює всі просторові виміри, тобто узагальнило попередні часткові випадки. Це позиціонується як прорив, оскільки задача залишалася відкритою понад тридцять п'ять років і виходила за межі стандартних обчислювальних підходів. Компанія наголошує, що результат може переглянути низку усталених уявлень як у чистій математиці, так і в суміжних розділах комп'ютерних наук.
Формалізація в Lean та відкрита стратегія
Для забезпечення перевірюваності OpenAI обрала відкриту стратегію: текстові та формалізовані доведення опубліковані у відкритому доступі на GitHub. Ключовим кроком стала формалізація в Lean — спеціалізованому інструменті, який дозволяє комп'ютеру перевіряти логічну коректність математичних аргументів. За даними компанії, формалізація була успішно завершена 19 жовтня 2026 року, наступного дня після генерації доведення. Це означає, що незалежний дослідник може відтворити та перевірити кожен логічний крок за допомогою комп'ютера, а не покладатися лише на текстовий опис.
Квантова хромодинаміка та незалежна перевірка
Окрім математичного результату, дослідники повідомили про доведення існування теорій, що описують поведінку матерії на рівні найдрібніших частинок, зокрема квантової хромодинаміки. Дослідження в галузі квантової фізики, за інформацією OpenAI, вестиме окрема зовнішня група вчених, яка найближчим часом підготує власний незалежний аналітичний звіт. Таким чином, частина заяв компанії поки залишається на стадії очікування зовнішнього верифікаційного звіту.
