25 лауреатов Филдсовской премии 11 сентября обвинили ИИ-компании в нанесении ущерба математике. Декларация Mat…

25 лауреатов Филдсовской премии 11 сентября обвинили ИИ-компании в нанесении ущерба математике. Декларация Math and AI описывает конфликт: производители получают рекламу от громких решений, учёные вынуждены разбирать поспешно опубликованные доказательства и защищать признание своего труда. Компаниям нужен результат, подтверждающий превосходство модели. Науке требуется понимание, позволяющее другим исследователям продолжить работу. OpenAI 8 сентября объявила о решении задачи Навье—Стокса, описывающей движение жидкости. По данным компании, около 10 тысяч ИИ-агентов за 88 часов получили предложенное доказательство. Сам запуск последовал за слухом об успехе другой группы. Промышленная лаборатория направила огромный вычислительный ресурс на проверку своей модели, выбрав знаменитую задачу с рекламной ценностью. Университетский исследователь оказался участником состязания, сроки которого устанавливает производитель. Профессор Нью-Йоркского университета Тристан Бакмастер описал, как эта гонка вторглась в отношения соавторов. По его заявлению, исследователь OpenAI Себастьен Бубек предложил ему одному подготовить изложение результата компании, исключив сотрудничавшего с ним математика Левента Альпёге из-за его работы в Anthropic. Бакмастер отказался. Предложение касалось нового текста о доказательстве OpenAI. Право учёных работать вместе пытались поставить в зависимость от корпоративной принадлежности одного из них. Возник и вопрос о происхождении открытия. Бакмастер допускал использование материалов, переданных им в Codex, инструмент OpenAI для программирования. Компания 10 сентября заявила, что его запросы за 2 предшествовавших месяца никак не повлияли на результат, включая обучение. Подозрение остаётся неподтверждённым. Само совмещение ролей поставщика рабочей среды и конкурента вынуждает автора оценивать, кому доверить незавершённое исследование. Обсуждение математической идеи превращается в защиту собственного приоритета. Ущерб пониманию Бакмастер описал на собственной работе: после формальной проверки результата в Lean 22 августа соавторы продолжали готовить читаемое изложение, а часть текстов обнародовали под внешним давлением и сочли плохо подготовленными. Проверяющая программа подтверждает цепочку формальных шагов. Человеку предстоит выделить идею, объяснить выбор приёма и научить другого применять его. Гонка за первым объявлением обрывает эту работу на полпути, оставляя коллегам обязанность восстанавливать содержание. Для будущего Mathathon в Калифорнийском технологическом институте OpenAI и Anthropic первоначально обещали свыше $2 млн вычислительных кредитов. Старт 30 октября предусматривает 40 часов на первоначальный результат, затем отобранным командам отводится 6 месяцев на проверку. После открытого письма критиков организаторы сделали публикацию в научном архиве arXiv обязательной. Требование предъявить доступный сообществу текст пришлось отдельно вносить в проект, уже обеспеченный корпоративными вычислениями. Авторы письма назвали неоплачиваемый труд математиков оборотной стороной потока ИИ-объявлений: специалисты проверяют и объясняют результаты, рекламный эффект от которых достаётся производителю. Вычислительный кредит оплачивает обращения к модели. Часы профессора, разбирающего доказательство, требуют отдельного финансирования. Участники научного сообщества дополнительно оплачивают корпоративное соревнование собственными исследованиями, отложенными ради этой проверки. Так производитель способен навязать университетам повестку без распоряжения ректора и покупки кафедры. Каждое громкое объявление заставляет специалистов решать, сколько времени отдать чужому результату, чтобы он вошёл в математику на проверенных основаниях. При непрерывном потоке таких публикаций подготовка новых исследователей и разработка собственных подходов уступают место обслуживанию испытаний чужих моделей. Число решённых задач растёт за счёт труда сообщества, которому всё труднее заниматься тем, ради чего эти задачи вообще ставились. /// ПолитДокл