Искусственный интеллект и математика: новый поворот в решении задач

В последние годы компании, занимающиеся искусственным интеллектом, добиваются впечатляющих успехов в области математики, что ставит под угрозу традиционные подходы к исследованию и решению математических задач. Одним из ярких примеров является недавнее заявление компании OpenAI о том, что ее модели смогли решить одну из задач, входящих в список Проблемы тысячелетия — задачу о существовании и гладкости уравнений Навье-Стокса.

Проблема Навье-Стокса

Уравнения Навье-Стокса описывают, как жидкости, такие как вода и воздух, движутся во времени. Эти уравнения широко применяются в области гидродинамики, однако их полное понимание оставалось недостижимым для физиков и математиков. В частности, до недавнего времени оставался неясным вопрос о том, могут ли уравнения в определенных условиях приводить к невозможным состояниям, например, к бесконечной скорости жидкости. На днях математик из Нью-Йоркского университета Тристан Бакмастер опубликовал доказательство на платформе Mastodon, показывающее, что упрощенная версия уравнений Навье-Стокса может действительно давать сбои. Бакмастер и его коллега Левент Алпёге работали над этой проблемой почти год, используя общедоступные модели от OpenAI и Anthropic. В тот же день OpenAI представила свое доказательство, показывающее, что полные уравнения Навье-Стокса также могут давать сбои. Это доказательство было получено с использованием внутренней модели, которая значительно превосходит недавно выпущенную модель Astra.

Споры вокруг авторства

Однако это достижение OpenAI быстро оказалось в центре споров. Бакмастер обвинил компанию в том, что она использовала его и Алпёге исследования как отправную точку, не указав их в числе авторов. OpenAI отвергла эти обвинения, но остается неясным, использовались ли работы Бакмастера и Алпёге в процессе решения задачи. Сэбастьен Бубек, член технического персонала OpenAI, заявил, что команда вдохновилась слухами о работе Бакмастера и Алпёге. Бакмастер также опубликовал документ, в котором описал свои взаимодействия с сотрудниками OpenAI. По его словам, сотрудники компании предложили ему два варианта: либо он и Алпёге публикуют свои результаты, а OpenAI опубликует свое решение на следующий день, либо он может работать с OpenAI над статьей, исключая Алпёге из авторства. Это поднимает серьезные вопросы о прозрачности и этике в научных исследованиях.

Влияние на будущее математики

Достижения OpenAI в области математики подчеркивают растущую роль искусственного интеллекта в решении сложных задач. Однако это также вызывает опасения о будущем человеческих математиков. Если компании, такие как OpenAI и Anthropic, продолжат добиваться успехов в этой области, то может возникнуть ситуация, когда открытые математические проблемы останутся только для этих компаний, что значительно изменит ландшафт математики. Математики, такие как Теренс Тао из UCLA, подчеркивают важность ошибок и неправильных направлений в научном процессе. По его словам, проблемы ставятся не только для поиска решений, но и для стимулирования дальнейшего развития области. Если задачи будут решаться исключительно с помощью ИИ, это может негативно сказаться на прогрессе математики в целом.

Заключение

Таким образом, хотя достижения OpenAI и других компаний в области математики впечатляют, они также ставят под сомнение традиционные методы научного сотрудничества и открытости. Важно помнить, что человеческое участие в математике не только приводит к решениям, но и способствует развитию новых идей и подходов, которые могут вдохновить будущие поколения исследователей.