И это очень и очень серьезная заявка на потенциал ИИ.
Вчера OpenAI опубликовала работу, в которой утверждает: её новая внутренняя модель нашла решение задачи Навье-Стокса - одной из семи «задач тысячелетия».
🧠 Что вообще такое задачи тысячелетия?
В 2000 году Математический институт Клэя выбрал 7 чрезвычайно сложных нерешённых задач современной математики.
За решение каждой назначена премия $1 млн.
Это фундаментальные вопросы, над которыми лучшие математики мира могут работать десятилетиями. Пока была решена только 1 задача из 7.
🌊 А в чём проблема Навье-Стокса?
Уравнения Навье-Стокса описывают движение жидкостей и газов: воды, воздуха, потоков вокруг самолёта и т.д.
Но есть фундаментальный вопрос:
👉 если поток изначально ведёт себя нормально и плавно - может ли в какой-то момент математика внезапно «сломаться», создав так называемую сингулярность, где скорость стремится к бесконечности?
Почти 90 лет строгого ответа на этот вопрос не было.
🤖 Что утверждает OpenAI?
По заявлению компании, её ИИ построил доказательство того, что такая сингулярность может возникнуть за конечное время.
Причём система не просто выдала текст: доказательство было дополнительно формализовано в системе Lean, которая позволяет проверять математические доказательства машинным способом.
Для поиска решения OpenAI запустила около 10 000 ИИ-агентов параллельно. Они работали примерно 88 часов.
И вот здесь вишенка на торте 🍰.
OpenAI утверждает, что ИИ самостоятельно получил новое доказательство задачи, над которой математики бились десятилетиями.
⚠️ Но праздновать пока рано
Во-первых, результат только опубликован. Ему ещё предстоит независимая проверка математическим сообществом.
Во-вторых, уже появились несогласные.
Например, профессор аэрокосмической инженерии Крис Комбс обращает внимание:
заголовок «ИИ решил уравнения Навье—Стокса» вводит в заблуждение. ИИ не нашёл универсального способа рассчитывать любые потоки - речь идёт о решении конкретной фундаментальной математической проблемы, связанной с существованием сингулярности"
Другие критики считают спорным то, что сингулярность строится при наличии специальной внешней силы. При этом важная деталь: официальная постановка задачи Клэя действительно допускает такой вариант решения, поэтому просто назвать это «лазейкой» тоже неправильно.
🔥 А параллельно разгорается ещё более неприятный спор - об авторстве
Математики Тристан Бакмастер и Левент Альпёге ранее работали над близким направлением и использовали в том числе инструменты OpenAI.
После публикации появились обвинения и подозрения, что OpenAI могла получить преимущество благодаря информации об их ещё не опубликованной работе. На это указывают и несколько активно обсуждаемых сейчас постов в X.
OpenAI уже отдельно ответила на эти обвинения.
Компания утверждает, что её исследователи и ИИ-агенты не видели работы Бакмастера и Альпёге до её публикации, а конкретные пользовательские данные не использовались для решения задачи.
📌Но есть любопытная оговорка: OpenAI признаёт, что не может полностью исключить, что обезличенные данные от использования её продуктов когда-то косвенно помогли улучшить модели.
Итак...результат есть, хайп есть, инфоповод есть. Осталось понять выдержит ли проверку доказательство.
И если так, то возникает "хорошо забытый новый" вопрос:
кому принадлежит научное открытие, если исследователь годами думает над проблемой вместе с ИИ, а затем компания-разработчик ИИ сама приходит к похожему результату?