
Представленное OpenAI возможное решение задачи Навье — Стокса стало одним из наиболее показательных экспериментов по применению искусственного интеллекта в фундаментальной науке. Для поиска доказательства компания задействовала около 10 тыс. одновременно работающих ИИ-агентов.
Такой масштаб неизбежно ставит вопрос о том, становится ли искусственный интеллект самостоятельным конкурентом ученого. Максим Абрамов считает такую постановку пока преждевременной.
Что остается за человеком
По словам эксперта, наиболее принципиальные решения в научной работе пока остаются за исследователем. Именно человек определяет проблему, которую предстоит решать, выбирает направления поиска и решает, на какие из них стоит тратить вычислительные ресурсы.
Искусственный интеллект в такой системе берет на себя другую часть работы — масштабный перебор возможных направлений.

В случае задачи Навье — Стокса это различие особенно заметно. Тысячи агентов одновременно исследовали разные варианты проблемы, обменивались промежуточными результатами и возвращали наиболее перспективные идеи обратно в работу.
Сейчас же преимущество ИИ заключается не обязательно в том, что отдельная модель «рассуждает лучше» отдельного математика. Система получает возможность параллельно исследовать огромное число направлений и затратить на них вычислительные ресурсы, которыми обычная научная группа не располагает.
Правильного ответа для науки недостаточно
При этом массовый перебор создает новую проблему: ученым необходимо понимать не только конечный результат, но и способ, которым он был получен.
В случае с задачей Навье — Стокса OpenAI опубликовала само доказательство и его формализацию в Lean. Это позволяет математикам изучать конечный результат независимо от того, каким путем к нему пришла система.
Однако огромный массив промежуточных рассуждений агентов в полном объеме научному сообществу недоступен. И даже наличие технического лога не обязательно позволяет объяснить внутреннюю логику модели на каждом этапе.

Именно здесь, по мнению Абрамова, проходит одна из важных границ между получением правильного результата и полноценным научным методом.
Поэтому возможное решение задачи Навье — Стокса пока скорее демонстрирует новую модель совместной научной работы, чем замену исследователя искусственным интеллектом. Человек определяет направление и интерпретирует результат, а ИИ радикально увеличивает масштаб поиска, который можно провести за ограниченное время.
Ранее эксперт назвал главную опасность для детей, растущих с нейросетями.


