OpenAI 8 сентября заявила о решении задачи существования и гладкости уравнений Навье—Стокса. Компания опубликовала предложенное доказательство и его формализацию в Lean, связывая результат с внутренней непубличной моделью.
По утверждению OpenAI, построено движение трёхмерной несжимаемой жидкости, при котором скорость становится неограниченной за конечное время. В описании используются гладкая внешняя сила и конечная кинетическая энергия. Компания относит результат к вариантам C и D официальной постановки задачи.
Поиск доказательства OpenAI приписывает системе агентов на внутренней модели; GPT-6 Astra использовалась затем для формализации и проверки в Lean. Это разные этапы работы. Наличие опубликованной формализации само по себе не означает завершённого признания результата математическим сообществом. На момент проверки страница Clay Mathematics Institute сохраняла отметку о нерешённости задачи. OpenAI сообщила, что не намерена претендовать на премию за этот результат.
