Математики признали ИИ вредным

Лауреаты медали Филдса выразили официальное предостережение относительно потенциального негативного воздействия интенсивного применения искусственного интеллекта (ИИ) в области математических исследований и образовательного процесса. В опубликованном на веб-платформе движения Math and AI открытом письме 25 ведущих специалистов в области математики изложили свои опасения по данному вопросу.

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

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

Однако, по мнению авторов письма, быстрые публикации результатов, полученных с помощью ИИ, могут нарушить этот процесс. Они указывают на то, что такие решения часто объявляются поспешно, без достаточного времени на их оформление, выделение новых методов и идей, а также указание на предыдущие работы других исследователей.

Это, в свою очередь, вызывает вопросы об авторстве и возможном плагиате. Подписанты считают, что идеи, созданные ИИ, не смогут полностью реализоваться без участия математиков, которые будут развивать эти идеи и интегрировать их в существующую систему знаний.

Тем не менее, математики признают, что ИИ может ускорить математические исследования. Однако они подчёркивают, что польза от этих изменений будет зависеть от решений людей, управляющих этой технологией.

На прошлой неделе компания OpenAI объявила, что её внутренняя модель ИИ решила одну из семи задач тысячелетия — проблему существования и гладкости решений уравнений Навье-Стокса. По данным OpenAI, формализация и проверка результата заняли ещё 17 часов.

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

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

Бакмастер подчеркнул, что он не видел доказательства OpenAI и не утверждает, что компания использовала их черновики из ИИ-системы OpenAICodex. Он лишь излагает факты о том, что ему было сказано и предложено.