OpenAI решила задачу тысячелетия за 88 часов работы ИИ

Компания OpenAI в ночь на среду опубликовала работу, которую называет решением одной из семи математических «задач тысячелетия» — проблем, за официальное решение которых Институт Клэя обещает вознаграждение в один миллион долларов. Речь идёт об уравнениях Навье-Стокса, описывающих движение жидкостей и газов, над разгадкой которых учёные бились около 90 лет.

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

О чём вообще эта загадка

Уравнения Навье-Стокса описывают, что происходит с жидкостью или газом, когда они приходят в движение — например, воздухом вокруг самолёта, водой в трубе или атмосферными явлениями. Сами по себе уравнения давно и рутинно используются учёными и никакой тайны не представляют.

Загадка глубже: математиков интересовало, остаётся ли плавное течение жидкости в трёхмерном пространстве плавным навсегда, или же оно способно резко «сорваться» и породить так называемую сингулярность — точку, где какая-то физическая величина начинает расти без ограничений. Представьте вихрь, который закручивается всё туже, а его структура сжимается во всё меньшем объёме — до тех пор, пока математическое описание попросту не перестанет работать.

По заявлению OpenAI, ответ — да: такая ситуация возможна. Система нашла конструкцию, в которой из гладкого начального состояния за конечное время рождается сингулярность. Компания сравнила результат с вихрем, который закручивается внутрь и вытягивается, будто спагетти. Важная оговорка: речь не о том, что обычная вода в стакане сама по себе начнёт бесконечно ускоряться — в решённом варианте задачи на жидкость действует внешняя гладкая сила, что предусмотрено официальной формулировкой проблемы.

Работали не один чат-бот, а 10 тысяч агентов

Особенность этой работы в том, что над задачей трудился не один чат-бот, а, по данным OpenAI, около 10 тысяч одновременно работающих ИИ-агентов. Разные группы пробовали разные подходы, а затем обменивались между собой самыми удачными идеями — для их координации компания использовала свой инструмент Codex.

Сам поиск решения занял примерно 88 часов. Поскольку сложное математическое доказательство может выглядеть убедительно и при этом содержать ошибку, OpenAI применила систему формальной проверки Lean, которая машинным способом сверяет каждый шаг доказательства с точно определёнными правилами. Проверка аналитического доказательства заняла ещё 17 часов.

В процессе работы над задачей ИИ-агенты обменялись между собой 2,7 миллиона сообщений и сгенерировали около 130 миллиардов токенов текста — по масштабу это скорее напоминает огромную цифровую исследовательскую лабораторию, чем обычный диалог с чат-ботом.

Источник: Novinky.cz