Математический прорыв: OpenAI заявила о решении проблемы Навье—Стокса с помощью ИИ

Искусственный интеллект посягнул на фундаментальную науку. 12 сентября 2026 года лаборатория OpenAI опубликовала доказательство одной из Задач тысячелетия — проблемы существования и гладкости решений уравнений Навье—Стокса. Доказательство было сгенерировано нейросетью и формализовано в среде Lean.

Академическое математическое сообщество сейчас находится в состоянии шока и скепсиса, требуя независимой верификации результатов. Однако даже сам факт подобного заявления маркирует колоссальный архитектурный сдвиг. Генеративные сети переходят от статистического угадывания слов (pattern matching) к сложным цепочкам формального логического рассуждения (reasoning). Для макроэкономики B2B-сектора это означает, что ИИ вскоре сможет не только писать код, но и автономно проектировать новую физику материалов, аэродинамику и биохимию. Научно-исследовательский R&D стоит на пороге полной автоматизации.

Источник: OpenAI / WSJ