ИИ заявил о решении одной из задач тысячелетия

🧠 8 сентября 2026 года OpenAI опубликовала доказательство, созданное внутренней системой ИИ. Оно утверждает, что для трёхмерных уравнений Навье – Стокса гладкое движение жидкости может за конечное время привести к сингулярности, то есть к неограниченному росту скорости. Компания представила текст доказательства и его формализацию в Lean.

⚛️ Для работы использовалось около 10 000 взаимодействующих ИИ-агентов. Они получили результат примерно за 88 часов, после чего ещё около 17 часов ушло на формализацию и проверку в Lean.

🔶 Кроме того, OpenAI сообщила о решении связанной задачи для уравнений Эйлера. Однако окончательное математическое признание ещё не завершено.

⚛️ OpenAI уточняет, что результат по Эйлеру был найден примерно сотней агентов за 50 часов; затем эти наработки помогли системе перейти к задаче Навье – Стокса.

🔲 Clay Mathematics Institute 11 сентября заявила, что задача Навье – Стокс «по всей видимости, решена», однако институт ещё не объявил её официально закрытой. Проверка и определение авторства могут занять значительное время.

Миллион долларов пока никому не присуждён. 😉

@UseAIForHR