ИИ OpenAI разгадал вековую математическую загадку за 88 часов: подробности прорыва

История математических поисков в этом направлении восходит к XIX веку, когда Клод-Луи Навье и Джордж Габриэль Стокс сформулировали уравнения, описывающие движение жидкостей. В 1934 году Жан Лере доказал существование обобщенных решений, но вопрос относительно их гладкости оставался нерешенным. Этот вопрос стал одной из семи Задач тысячелетия, за решение которой Математический институт Клэя предлагает премию в миллион долларов.

В этой многолетней драме компания OpenAI решила сыграть свою роль, задействовав внутреннюю ИИ-модель, которая по мощности превосходит даже новейшую GPT-6 Astra. Целью было решить уравнения Навье-Стокса, описывающие движение жидкостей с помощью второго закона Ньютона и применяющиеся от проектирования самолетов до прогнозирования погоды. Главный вопрос заключался в том, может ли движение жидкости стать нестабильным, приводя к «сингулярности» – неограниченному росту скорости за конечное время.

Процесс решения задачи стал настоящим марафоном для искусственного интеллекта. Около 10 тысяч ИИ-агентов работали параллельно в течение примерно 88 часов, обменявшись почти 3 миллионами сообщений и использовав около 130 миллиардов токенов. Эти агенты перебирали различные математические подходы, обмениваясь результатами в непрерывном диалоге, ставшем основой для нахождения доказательства.

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

Хотя OpenAI заявила об этом прорыве, компания подчеркнула, что не претендует на миллионную премию. Результат публикуется для демонстрации прогресса ИИ-моделей. По подсчетам компании, вычислительные ресурсы, использованные для решения, стоили бы примерно 10 миллионов долларов по коммерческим тарифам.

До заявления OpenAI решенной считалась лишь одна из семи Задач тысячелетия – гипотеза Пуанкаре, которую доказал Григорий Перельман. Это подчеркивает значимость возможного решения уравнений Навье-Стокса для мирового математического сообщества. Несмотря на заявленный прорыв, окончательное подтверждение полного решения задачи должно пройти независимую математическую проверку, которая определит ее соответствие условиям Математического института Клэя.

Это событие происходит на фоне обсуждений относительно регулирования и возможностей искусственного интеллекта. Ранее, в августе, OpenAI даже приостановила тесты своей ИИ-модели Astra из-за опасений относительно ее кибервозможностей. Также Билл Гейтс предлагал облагать налогом ИИ и роботов, чтобы замедлить вытеснение людей с рынка труда. Это свидетельствует о растущем влиянии искусственного интеллекта на общество и науку.

В заявлении компании говорится, что для работы над уравнением компания использовала внутреннюю модель искусственного интеллекта, более мощную, чем новейшая модель — GPT-6 Astra. В то же время, профессор Нью-Йоркского университета Тристан Бакмастер и математик Левент Альпоге заявили, что OpenAI якобы использовала их прогресс. В ответ, в OpenAI опровергли эти обвинения, назвав работу Бакмастера и Альпоге «одновременным исследованием».

Дальнейшая судьба этого математического прорыва зависит от тщательной проверки со стороны мирового научного сообщества. Если доказательство окажется корректным, это станет не только значительным достижением для OpenAI, но и откроет новые перспективы для применения искусственного интеллекта в сложнейших научных исследованиях, что может изменить понимание многих физических процессов и подтолкнуть развитие других технологических инноваций.