Программный комитет STOC 2027 — 59-го симпозиума ACM по теории вычислений — ввёл шесть экспериментальных правил против потока сгенерированных ИИ работ. Вместо ненадёжного распознавания машинного текста комитет делает ставку на проверяемые подтверждения человеческого участия: подача перестаёт быть анонимной, работа обязана появиться на arXiv до дедлайна, к ней прикладывается видео-презентация на 20–30 минут, а существенное использование LLM подлежит раскрытию. Дедлайн подачи — 2 ноября 2026 года, конференция пройдёт в Атланте 6–10 июня 2027 года в рамках FCRC.
Что произошло
Программный комитет STOC 2027 — 59-го симпозиума ACM по теории вычислений, который пройдёт в Атланте 6–10 июня 2027 года в рамках FCRC, — опубликовал пакет экспериментальных правил для цикла подачи, дедлайн которого установлен на 2 ноября 2026 года. Подача отныне не анонимна: double-blind отменён, а все указанные авторы должны быть людьми и несут ответственность за работу. Новые обязательные условия: выкладка работы на arXiv до дедлайна, причём PDF должен совпадать с arXiv-версией, и видео-презентация работы на 20–30 минут, которую следует сдать через одну-две недели после дедлайна. Существенное использование LLM при подготовке текста необходимо раскрыть, тогда как мелкая грамматическая правка раскрытия не требует. Рецензенты получили право применять LLM при проверке работ, но только с явного согласия авторов, и окончательные решения по-прежнему принимают люди. Одному автору разрешено подать не более пяти заявок. О целях этих изменений пишет Лэнс Фортноу в блоге Computational Complexity.
Контекст
Double-blind появился в STOC в 2023 году как защита рецензентов от предвзятости к именам и аффилиациям авторов, и именно эту защиту комитет готов обменять на контроль над потоком сгенерированных работ. Методология проверки меняется принципиально: детектирование машинного текста считается ненадёжным, поэтому вместо поиска сигнатур генерации комитет проверяет связь между работой и человеком. Видео-презентация в этой схеме работает как проверка понимания собственной работы, а не как оценка качества: на устной защите отсутствие понимания вскрывается заметно проще, чем по тексту. Обязательная выкладка на arXiv делает подачу проверяемой, закрывает практику «недописанных» работ и даёт приоритет препринта, однако трассируемость версий достигается ценой потери анонимности.
Почему это важно для индустрии
Для отрасли это первый откат крупной конференции по теории вычислений от double-blind рецензирования ради защиты от ИИ-генерации, и он перестраивает весь цикл peer review от подачи до финального решения. Согласие авторов на LLM-рецензирование задаёт прецедент двустороннего использования ИИ: инструмент разрешён обеим сторонам процесса, но решения принимают люди. Если эксперимент сработает, схожие правила вероятны и для ML-конференций, куда генеративный поток приходит раньше всего, а вендоры submission-инфраструктуры, по вероятному сценарию, дополнят платформы проверкой совпадения arXiv-версий, disclosure-полями и consent-флагами. Готовых продуктов под эти правила, судя по источникам, ещё нет, поэтому до дедлайна 2 ноября 2026 года остаётся окно для прототипов verification tooling, хотя спрос пока ранний и слабо подтверждённый.
Почему это важно для пользователей
Для подающих правила уже действуют на цикл STOC 2027. Работу нужно выложить на arXiv до дедлайна 2 ноября 2026 года с совпадающим PDF, подготовить видео-презентацию на 20–30 минут и сдать её через одну-две недели после дедлайна, а также зафиксировать существенное использование LLM. Согласие на ИИ-рецензирование — предварительное условие подачи, что подтвердил председатель программного комитета в обсуждении, поэтому отказ от согласия фактически означает отказ от подачи. Читателям эти правила дают конкретный ориентир, как наука будет фильтровать ИИ-контент: обязательное видео и обязательное раскрытие LLM-использования показывают, что работа прошла проверку человеческим участием.
Что пока неизвестно / ограничения
Граница между «существенным использованием LLM», которое подлежит раскрытию, и мелкой грамматической правкой в правиле не операционализирована: она опирается на честность авторов и не задаёт измеримого критерия, поэтому ценность такого раскрытия как инструмента оценки невелика. Эффективность видео-верификации авторов и LLM-рецензирования по согласию не подкреплена опубликованными данными, и оба компонента дороги в исполнении. Правила экспериментальные и касаются одной конференции, поэтому неизвестно, скопируют ли формат ML-конференции и как сообщество примет отмену анонимности. Первым наблюдаемым сигналом станет объём подач к дедлайну 2 ноября 2026 года, а внешняя реакция пока скромная: обсуждение на Hacker News ограничилось одним баллом и нулем комментариев.
Источники
- The New STOC Rules for the AI Era — Computational Complexity (Lance Fortnow), 23 сентября 2026
- STOC 2027 Call for Papers — официальный CFP (acm-stoc.org)
Автор
Look at AI, редакция