ИИ OpenAI заявил, что решил одну из «Задач тысячелетия»
ИИ OpenAI заявил, что решил одну из «Задач тысячелетия» Внутренняя ИИ-система OpenAI нашла решение задачи о существовании и гладкости уравнений Навье — Стокса. Это одна из семи математических задач, за решение которых Институт Клэя назначил премию $1 млн. Пока официально решена только одна — гипотеза Пуанкаре, доказанная Григорием Перельманом. ✏️ В чем проблема? Уравнения Навье — Стокса описывают движение жидкостей и газов. Математики пытаются понять, может ли плавное течение в какой-то момент превратиться в область, где скорость становится бесконечной. ИИ построил пример такого течения: оно начинается спокойно, но затем внутри вихря скорость растет без ограничений, хотя общая энергия остается конечной. OpenAI формализовала доказательство на языке Lean, чтобы его можно было проверить автоматически. Но окончательно признать результат решением «Задачи тысячелетия» пока нельзя — его еще должны независимо проверить математики. При этом вокруг работы уже возник спор об авторстве: математик Тристан Бакмастер заявил, что OpenAI могла использовать результаты его работы. Компания это отрицает. Так что пока правильнее говорить не о закрытой «Задаче тысячелетия», а о заявленном ИИ результате, который еще предстоит проверить. Это прорыв? ❤️ — да, это великий день для ИИ 🔥 — пока рано так говорить @museuminvest