OpenAI решает проблему тысячелетия Навье — Стокса

OpenAI утверждает, что нашла решение одной из семи проблем тысячелетия, поставленных Математическим институтом Клэя ($1 млн за каждую) — уравнений Навье — Стокса. Для этого они использовали около 10 000 взаимодействующих ИИ-агентов на внутренней модели, которая намного мощнее GPT-6 Astra. На генерацию доказательства ушло 88 часов и несколько миллионов долларов вычислительных мощностей.

1Почему Навье-Стокс — это большое событие

Уравнения Навье — Стокса описывают течение жидкостей и газов. Они применяются в реактивных двигателях, моделировании погоды и так далее. Хотя эти уравнения используются в инженерии уже 125 лет, до сих пор не было доказано, что их решение существует и остаётся гладким в трёхмерном случае. Институт Клэя предлагает за это доказательство $1 млн — это одна из семи проблем тысячелетия, сформулированных в 2000 году. Единственной решённой на данный момент проблемой тысячелетия остаётся гипотеза Пуанкаре, доказанная Григорием Перельманом в 2003 году.

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

2Скандал с соавторством

Математик из Нью-Йоркского университета Тристан Бакмастер заявил, что OpenAI, вероятно, позаимствовала его метод из лога запросов к Codex (на использование которых для обучения моделей OpenAI оставляет за собой право). Себастьен Бубек, исследователь OpenAI, попросил Бакмастера убрать из соавторов Левента Альпёге (сотрудника Anthropic), сказав: «Зачем тебе портить себе карьеру?» Бакмастер отказался, на что Бубек ответил: «Если не хочешь, чтобы я был вежливым, я не обязан им быть». OpenAI утверждает, что не видела работу Бакмастера до её публикации.

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