25 математиков призвали OpenAI и другие AI-лаборатории раскрывать авторство доказательств

Лауреаты медали Филдса выступили против спешки

Двадцать пять ведущих математиков подписали открытое письмо, в котором предупредили о рисках для научной работы из-за поспешных заявлений AI-лабораторий о решении сложных задач. Каждый подписант ранее получил медаль Филдса, одну из наиболее престижных наград в математике.

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

Спор вокруг OpenAI и Codex

Поводом для новой дискуссии стал конфликт вокруг OpenAI. Профессор Нью-Йоркского университета Тристан Бакмастер обвинил компанию в давлении из-за упоминания соавтора, работающего в Anthropic. Он также задал вопрос, могла ли OpenAI использовать работу исследователей при подготовке собственного доказательства с помощью Codex.

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

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

Почему это важно для академических работ

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

Для студентов и авторов курсовых вывод практический: ответ модели нельзя считать доказательством без независимой проверки. Нужно проследить каждый переход, подтвердить используемые теоремы, сверить цитаты с первичными публикациями и отдельно зафиксировать, какие фрагменты предложил инструмент.

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