Программисты напряглись

 

Напомню, ИИ – это общепринятое сокращение Искусственного интеллекта, я несколько скептичен, у меня И«И».

СМИ разгоняют панику – ИИ заменят вас.

И«И» свалился нам на голову очень резко, как грабитель в тёмном переулке. Не мудрено и испугаться.

Но когда первый испуг прошёл, можно начать рассуждать здраво.

Я, как математик, выясняю, а что у нас с И«И»?

Искусственный интеллект решил несколько крупных открытых математических проблем и задач исследовательского уровня.

Первая по списку.

Уравнения Навье — Стокса (одна из задач тысячелетия): В сентябре 2026 года агенты от OpenAI заявили о решении 90-летней задачи, связанной с существованием и гладкостью решений трехмерных уравнений Навье — Стокса (описание движения жидкостей и газов). На это ушло 88 часов работы ~10 тыс. ИИ-агентов. Часть математиков оспаривает приоритет, а сообщество продолжает проверку. 

Все формальные доказательства ИИ стараются пропускать через автоматизированные системы верификации логики (например, язык программирования Lean), чтобы исключить скрытые логические ошибки.

Для не математиков: «Говоря простым языком, ИИ построил математическую модель «идеального шторма» в стакане воды. Система доказала, что если правильно приложить гладкую внешнюю силу (например, хитро перемешивать жидкость), то внутри потока сформируется особый закручивающийся и бесконечно удлиняющийся вихрь».

С идейной точки зрения – это резонанс в сложно устроенной системе дифференциальных уравнений.

Принципиально не удивляет.

Человек это проверить не может, коль скоро достоверность проверяет снова-таки программа.

И всё это не новость.

Проблема четырех красок: «Любую расположенную на сфере или плоскости карту можно раскрасить не более чем четырьмя цветами так, чтобы любые два региона с общей границей (не точкой, а именно линией) имели разные цвета».

Задача была полностью решена математиками еще в 1976 году (с помощью обычных ЭВМ того времени) и задолго до появления современного искусственного интеллекта. Она стала первой в истории крупной математической теоремой, доказанной с использованием компьютера.

Американские математики Кеннет Аппель и Вольфганг Хакен свели бесконечное число возможных карт к конечному (хотя и огромному) набору из 1936 базовых конфигураций.

Разумеется, самостоятельно проверить их вручную было невозможно, поэтому ученые написали специальную компьютерную программу. Компьютер перебирал эти конфигурации более 1200 часов и доказал, что ни одна из них не требует пятого цвета.

В 1970-х годах научное сообщество отнеслось к этому скептически. Доказательство нельзя было перепроверить «на листочке» — человеку пришлось бы потратить на это всю жизнь. Существовал огромный риск ошибки в самом коде программы.

Математик Жорж Гонтье в 2005 году полностью перепроверил доказательство теоремы с помощью Coq (это интерактивная система доказательства теорем, предвестник современных ИИ-инструментов вроде Lean). Компьютер шаг за шагом подтвердил: логика Аппеля и Хакена была абсолютно верной. Только после этого споры утихли.

Чем это хуже проблемы Стокса?

Проблема решена программой, программой же осуществлена и проверка.

Человек – не при делах.

Стоп.

Мы же не паникуем от того, что автомобиль быстрее человека, что есть ткацкие машины, делающие ткань быстрее и лучше человека, что ещё?

Что автомобили делают снова-таки с помощью кучи машин, в том числе с программным управлением?

Так заменит ли И«И» математиков?

Ясно, что нет.

Риторический вопрос.

Написали бы программисты программы, решающие, скажем, уже упомянутые задачи о четырёх красках и проблему Стокса, без математиков?

 И«И» - просто очередная машина, более совершенная, чем в своё время замечательная программа Maple.

И совсем банальное, если выйти за пределы логических проблем.

И«И» не заменит, сантехников, садоводов, хлеборобов, даже учителей. И список можно долго продолжать.

Помочь им всем – да, конечно, но за И«И» всегда будет наблюдать человек, специалист.

Можно конечно, с дурной головы всё до конца поручить машинам, так это именно с дурной головы.

Может такое и случится, живём-то в Апокалипсисе.

А тогда почему паника?

Я вообще слышал, что ИИ открывает чуть ли не новую эпоху.

Да, конечно, примерно так же, как новую эпоху открыли ткацкие станки.

Опасность И«И» совсем в другом месте.

В том, что отвратительно преподаётся математика, уже везде, предмет, который учит думать.

И не умеющие думать обратятся к И«И».

А уровень катастрофы от всего этого – это уровень принятия решения.

Не страшно, если полностью доверилась И«И» домохозяйка.

Значительно хуже, если авиакомпания.

Впрочем, лично я не удивлюсь уже ничему, коль скоро современные выпускники школ не уверенно решают задачи с дробями, а просят разрешения использовать калькулятор.

И уже почти норма – делать домашние задачи по математике с интернетом.

Так что обратите взор именно сюда, боящиеся ИИ.