OpenAI заявила об ИИ-решении задачи Навье-Стокса: формальное доказательство в Lean

OpenAI анонсировала, что их ИИ-система нашла решение проблемы Навье-Стокса — одной из семи задач тысячелетия, за которую Математический институт Клэя назначил премию в $1 млн. Компания опубликовала как текстовое описание решения, так и формальное доказательство в интерактивном ассистенте доказательств Lean.

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

OpenAI не раскрывает, какая именно модель использовалась, но подчёркивает, что это полностью AI-сгенерированное решение. Компания выкладывает все материалы в открытый доступ для проверки и обсуждения.