OpenAI заявила, что её внутренняя модель искусственного интеллекта нашла решение проблемы существования и гладкости решений уравнений Навье-Стокса, одной из семи «задач тысячелетия» в математике.
Задача связана с уравнениями, описывающими движение жидкостей, и считается одной из наиболее сложных нерешённых проблем современной математики. На протяжении десятилетий ключевые вопросы, связанные с существованием и гладкостью решений этих уравнений, оставались без строгого доказательства.
В OpenAI утверждают, что над задачами тысячелетия работали группы ИИ-агентов. В случае с уравнениями Навье-Стокса одновременно было задействовано около 10 тысяч агентов. Они могли использовать кешированную копию интернета и выполнять программный код. Портал TechCrunch пишет, что OpenAI потратила на её решение около $22,5 млн. На решение ушло около 88 часов и огромное количество вычислительных ресурсов.
OpenAI сообщила, что получила формализацию доказательства на языке Lean, используемом для проверки математических доказательств.
Однако заявление OpenAI уже вызвало вопросы. Профессор математики Нью-Йоркского университета Тристан Бакмастер заявил, что ранее вместе с коллегой Левентом Альпеге работал над этой проблемой и загружал свои математические выкладки в сервис Codex от OpenAI.
По словам Бакмастера, после появления информации об успехе ИИ полученное моделью решение оказалось связано с их наработками. Исследователи спросили OpenAI, обучалась ли модель на их сессиях в Codex, однако, как утверждает математик, ответа не получили.
В OpenAI отрицают целенаправленное использование логов пользователей, но признают, что анонимные пользовательские данные могли попасть в обучающую базу.
Таким образом, пока речь идёт именно о заявлении OpenAI о найденном доказательстве, а не о бесспорно признанном математическим сообществом решении задачи.
