В первую неделю сентября OpenAI объявила, что её агенты искусственного интеллекта с помощью внутренней модели, ещё не представленной публике, решили одну из семи «задач тысячелетия» — задачу об уравнениях Навье-Стокса. Это заявление вызвало бурную дискуссию в математическом мире, однако одновременно породило серьёзный этический спор.
Как выяснилось, за несколько часов до этого заявления один из двух математиков, работающих в том же направлении, — Тристан Бакмастер — выступил в соцсети с обвинением в адрес компании в использовании их результатов и оказании на него давления. Обе стороны излагают свою версию событий. Таким образом, этот инцидент вызвал жаркие обсуждения в математическом сообществе и превратился в этический спор.
Уравнения Навье-Стокса — основные математические модели, описывающие течение жидкостей и газов. Насколько важны законы Ньютона для механики, настолько же важны уравнения Навье-Стокса для гидродинамики. Они позволяют математически описывать такие процессы, как движение жидкостей и газов в трубах, движение воздуха или воды вокруг самолётов и автомобилей, поток воды внутри насоса и распределение давления. Проблема заключается в том, что существование или отсутствие общего и гладкого решения этих уравнений в трёхмерном пространстве остаётся открытым вопросом в математике уже 90 лет.
Согласно версии OpenAI, 1 сентября до компании дошли слухи о том, что, возможно, найдены решения двух из семи «задач тысячелетия». После этого компания решила протестировать новую внутреннюю модель, ещё не представленную для публичного использования, на всех нерешённых математических задачах из списка. Компания создала несколько групп ИИ-агентов разного размера, предоставив им доступ к кэшированной версии интернета, а также возможность запускать код и общаться внутри группы. Группа из примерно десяти тысяч агентов была направлена на основное направление — задачу Навье-Стокса, и 5 сентября — примерно за 88 часов — было найдено решение. На формализацию и проверку результатов в интерактивной системе доказательства теорем Lean потребовалось ещё 17 часов. По словам руководителя исследований компании Марка Чена, вычислительные ресурсы обошлись в миллионы долларов.
Содержание результата таково: модель показала, что при определённых условиях поток жидкости достигает бесконечной скорости за конечное время — то есть происходит «нарушение» уравнения. В реальной физике это невозможно, значит, уравнения имеют предел. В конце своего заявления OpenAI подчеркнула, что слухи, побудившие компанию начать исследование, связаны с работой профессора математики Нью-Йоркского университета Тристана Бакмастера и математика, работающего в компании Anthropic, Левента Альпёге. Компания дважды подчеркнула, что признаёт приоритет учёных в решении задачи Эйлера, а также заявила, что не претендует на получение «Премии тысячелетия».
Тристан Бакмастер 8 сентября опубликовал в соцсети Mastodon заявление, в котором изложил свою версию произошедшего. По словам Бакмастера, его работа в сотрудничестве с Альпёге была полностью личным проектом, в котором непосредственные работодатели не участвовали. Он также подчеркнул, что в основе исследовательской программы лежат работы двух других математиков — Диего Кордовы и Луиса Мартинеса-Сороа, которые учёные использовали в качестве важной отправной точки. Комментируя сообщение о том, что обезличенные данные учёных могли способствовать улучшению результатов работы ИИ-агентов, Бакмастер задаёт риторический вопрос: «Обратите внимание, они открыто признают, что использовали данные обучения, относящиеся к периоду после получения наших результатов. Этично ли использовать данные клиента, чтобы обогнать его?»
Институт математики Клэя, обещавший награду за решение «задач тысячелетия», не спешит давать оценку решению. Тем не менее, 11 сентября институт опубликовал заявление о том, что задача «выглядит решённой», и изменил статус задачи на сайте с «нерешённой» на «активную» — но это не означает присуждения премии или подтверждения доказательства. По правилам, решение должно быть сначала опубликовано в авторитетном рецензируемом журнале, затем должно пройти не менее двух лет и оно должно получить общее признание математического сообщества. Из семи задач на данный момент официально решённой признана только одна — гипотеза Пуанкаре.
11 сентября было опубликовано открытое обращение 25 лауреатов Филдсовской премии — самой престижной математической награды — о применении искусственного интеллекта в математике. По мнению учёных, новая технология представляет угрозу для научных знаний в целом и для математики в частности. Авторы признают, что ИИ всё лучше решает сложные математические задачи, однако он также порождает новые проблемы, связанные с внедрением и дальнейшим развитием этих решений, а также с авторским правом и плагиатом. Среди авторов обращения — Теренс Тао, Марина Вязовская, Пьер Делинь, Андрей Окуньков, Мартин Хайрер и другие учёные. По состоянию на 18 сентября обращение подписали около 7,5 тысяч человек.
Source: www.gazeta.uz