Известные математики против использования ИИ в решении сложных задач

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

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

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

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

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

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

OpenAI опубликовала полученное доказательство и код, заверив, что не претендует на премию Института Клэя. Этот результат вызвал споры о возможном использовании неопубликованных работ математиков Тристана Бакмастера и Левента Алпеге. Компания заявила, что внутренние проверки показали, что запросы Бакмастера не могли повлиять на систему.

В интервью The Guardian Бакмастер отметил, что в математическом сообществе растет недовольство, так как ученые не хотят больше делиться своими работами. Напомним, что в сентябре Anthropic представила формализацию доказательства Великой теоремы Ферма, переведя известные рассуждения в код для проверки компьютером.