Корпорация OpenAI заявила о том, что ей удалось справиться с одной из семи математических задач тысячелетия — проблемой, касающейся существования и гладкости решений в уравнениях Навье-Стокса.
Данные формулы применяются для описания потоков вязких жидкостей и составляют фундамент прогнозирования климата, воздухоплавания и науки о движении воды. Ключевая проблема, сформулированная ещё в 1934-м учёным из Франции Жаном Лере, звучит так: останутся ли плавные решения плавными при любых стартовых условиях, или же в определённый момент они утратят корректность — скорость станет бесконечно большой?
Разработанный OpenAI алгоритм продемонстрировал, что подобный коллапс реален. Обнаруженный сценарий показывает: завихрение в среде начинает непроизвольно сжиматься к центру, его сердцевина деформируется и набирает скорость до тех пор, пока её величина не становится бесконечной — при этом полный запас энергии системы остаётся постоянным. Из этого следует, что трёхмерные уравнения Навье-Стокса вовсе не гарантируют существования гладких решений на всём временном интервале.
На поиск ушло 88 часов — с 1 по 5 сентября. На пике мощности одновременно функционировало порядка 10 тысяч агентов: каждый получал собственную версию задачи, и они соперничали друг с другом в поиске оптимального подхода. Итогом стали 2,7 млн сообщений и примерно 130 млрд выходных токенов. После этого потребовалось ещё 17 часов на то, чтобы формализовать доказательство в системе верификации Lean.
Финансовые затраты на вычисления составили, по оценкам компании, несколько миллионов долларов. Для работы использовалась внутренняя модель, которая, как утверждается, значительно опережает возможности GPT-6 Astra. На премию в 1 млн долларов, предусмотренную за решение задачи тысячелетия, OpenAI не претендует, представляя результат как демонстрацию математического потенциала искусственного интеллекта.
Публикация вызвала скандал. Профессор математики Нью-Йоркского университета Тристан Бакмастер и математик компании Anthropic Левент Альпеге независимо друг от друга вели работу над этой же задачей. Бакмастер утверждает, что данные его взаимодействий с системой Codex могли оказаться в обучающем материале OpenAI. Более того, в ходе беседы с представителем OpenAI Себастьяном Бубеком Бакмастер, по его словам, услышал фразу: «Если вы не хотите, чтобы я был вежлив, я могу быть и невежливым». В OpenAI все обвинения отвергают.
Список задач тысячелетия был составлен в 2000 году Математическим институтом Клэя. На сегодняшний день лишь одна из них получила решение — гипотеза Пуанкаре.
Ранее ridlife.ru рассказывал, как Claude за 44 минуты разгадал шифр, над которым учёные мучились 373 года.
