👀 OpenAI заявила о решении одной из семи Задач тысячелетия 🔹 Компания OpenAI заявила о решении проблемы существования и гладкости решений уравнений Навье — Стокса — одной из семи Задач тысячелетия Математического института Клея. 🔹 Компания утверждает, что ее внутренняя система создала аналитическое доказательство того, что изначально гладкий и покоящийся поток несжимаемой жидкости может развить сингулярность за конечное время. Результат также формализовали на языке Lean. 🔹 Уравнения Навье — Стокса описывают движение жидкостей и газов как сплошной среды. Они используются, в частности, для проектирования самолетов, прогнозирования погоды и моделирования кровотока. 🔹 По утверждению OpenAI, ее система доказала именно такой сценарий. В предложенном решении формируется вихрь, который закручивается внутрь и вытягивается, из-за чего центральная область сжимается и ускоряется. При этом энергия системы остается конечной.