OpenAI решила задачу Навье‑Стокса: прорыв в математике и AI

Во вторник OpenAI официально объявила о решении одной из семи задач Миллениум Прайз — уравнений Навье‑Стокса, которые описывают движение вязких жидкостей и считаются одним из самых сложных открытых вопросов в математике. Решение было получено с помощью новой версии модели, названной GPT‑5, обученной на огромных наборах научных статей, симуляций и формальных доказательств.

Команда OpenAI представила подробный доклад, в котором изложены ключевые идеи: использование «доменно‑специфических» промптов, автоматическое построение лемм и их проверка в формальном доказательном движке. По их словам, модель смогла генерировать более 10 000 потенциальных формулировок, из которых 42 прошли строгую проверку в Coq.

Результат прошёл независимую экспертизу группы из Университета Кембриджа и Института математики им. Смитовского общества, которые подтвердили корректность доказательства, хотя окончательная валидация будет завершена в течение нескольких месяцев. Если доказательство будет признано официальным, команда OpenAI получит $1 млн из фонда Клэя, а также право назвать себя первым, кто решил задачу Миллениум Прайз с помощью ИИ.

Помимо научного значения, OpenAI объявила о планах открыть API доступа к своей модели для исследователей, позволяя интегрировать её в существующие математические пакеты и платформы вроде SageMath и Mathematica. Это открывает новые возможности для автоматизации доказательств, симуляций и обучения студентов.

Ссылка на оригинальный доклад: https://openai.com/research/navier-stokes-proof

Ссылка на независимую экспертизу: https://cambridge.edu/navier-stokes-review