25 лауреатов медали Филдса, включая украинскую математикa Марину Вязовскую, опубликовали совместное заявление о рисках, которые несет использование искусственного интеллекта в математике. Ученые обеспокоены тем, что технологические компании поспешно сообщают о решении сложных математических задач, не уделяя достаточного внимания объяснению доказательств и признанию вклада других исследователей. Об этом говорится в блоге математика Терренса Тао, где 11 сентября было опубликовано заявление.
Авторы подчеркивают, что для ИИ-компаний известные математические задачи стали способом демонстрации возможностей своих моделей. В то же время для научного сообщества важны не только результаты, но и новые идеи и методы, которые могут использовать другие исследователи. Чтобы это стало возможным, математическое доказательство должно быть тщательно разобрано, обсуждено с коллегами и понятно следующим поколениям ученых.
Подписанты заявления предупреждают, что поспешные публикации усложняют эту работу и могут приводить к спорам относительно авторства и плагиата. Отдельно они акцентируют важность самостоятельной работы студентов над задачами для развития навыков и формирования новых вопросов. По мнению авторов, использование ИИ должно способствовать более глубокому пониманию математики, сохранять должное признание вклада исследователей и поддерживать условия для обучения молодых ученых.
"Будет ли это полезно для математики, во многом зависит от решений людей, которые развивают эти технологии", — говорится в заявлении.
Заявление появилось на фоне спора вокруг OpenAI. 8 сентября компания сообщила, что ее внутренняя ИИ-система нашла решение проблемы существования и гладкости уравнений Навье — Стокса — одной из семи «задач тысячелетия». По данным OpenAI, для получения результата было привлечено около 10 тысяч ИИ-агентов, которые работали параллельно, а проверка доказательства в системе Lean длилась еще 17 часов. Параллельно над похожими задачами работали профессор Нью-Йоркского университета Тристан Бакмастер и математик Левент Альпьоге из Anthropic. Бакмастер заявил, что OpenAI предлагала ему написать статью о результате компании без соавторства Альпьоге и выразил сомнения, не использовала ли модель их неопубликованные наработки, загруженные в Codex. OpenAI это отрицает.
Марина Вязовская имеет опыт сотрудничества с разработчиками математического ИИ. В 2016 году она решила задачу о самом плотном упаковке шаров в восьмимерном пространстве, а позднее — в 24-мерном. В 2022 году Вязовская получила медаль Филдса. В 2024 году вместе с Сидхартом Харихараном она инициировала проект компьютерной проверки этого доказательства в системе Lean. Позднее к проекту присоединилась ИИ-система Gauss от Math, Inc., которая за несколько дней завершила формализацию доказательства, что сэкономило команде около полугода работы.