Автор математической статьи должен понимать доказательство, самостоятельно проверить ег...

Автор математической статьи должен понимать доказательство, самостоятельно проверить его правильность и отвечать за содержание работы. Объяснение результата коллегам на семинарах и конференциях продолжает эту работу. ИИ создаёт ситуацию, в которой человек, запросивший математический аргумент, может оказаться неспособен ни понять его, ни проверить, ни взять за него ответственность. Этой проблеме посвящены рекомендации Responsible Release of AI-Generated Mathematics от 29 сентября 2026 года https://agmai.org/general-sep29/ . Их подготовила консультативная группа по математике и искусственному интеллекту AGMAI. Группа независима от ИИ-компаний, её участники не получают оплаты за эту работу и не принимают решений за компании. Сайт группы https://agmai.org/ , страница проекта в Институте перспективных исследований https://www.ias.edu/nccr/projects#agmai . Рекомендации учитывают более 600 ответов на опрос математического сообщества. Опрос касался ситуации, когда OpenAI объявила о наличии множества результатов, не раскрыв подробностей. Поддержку предложений наиболее многочисленной группой респондентов нельзя считать всеобщим согласием математиков. В основе документа три обязательства. Значимые результаты следует ответственно раскрывать как можно скорее. Если публикация опережает человеческое понимание, лаборатория должна поддержать его развитие, в том числе деньгами. Направлять эту работу должно математическое сообщество. При этом AGMAI прямо призывает прекратить испытание сложных математических задач на закрытых моделях, недоступных широкому научному сообществу. Рекомендации учитывают существование такой практики, но не одобряют её. Дальнейшая процедура зависит от того, есть ли математик, полностью понимающий работу и отвечающий за неё. Если есть, предлагается обычный путь через препринт, представление статьи в журнал для рецензирования и доклады коллегам. Если люди, получившие результат от модели, его пока не понимают, нужны два этапа. Сначала лаборатория готовит ответственную публикацию, затем поддерживает работу по пониманию, освоению и поиску применений результата. Подготовка начинается с литературы и изложения. Лаборатория должна искать предшествующие работы с идеями, связанными с доказательством, и ссылаться на публикации, где эти идеи появились впервые. Независимое переоткрытие моделью не отменяет признания предшественников. С помощью той же или другой модели следует подготовить текст в принятой математической форме, с понятным введением, точными формулировками теорем и доказательствами. Многословные рассуждения и нестандартная терминология не должны делать работу практически непонятной. Если возможностей модели не хватает для должного качества ссылок и изложения, последующую доработку математиками нужно поддержать. Это не освобождает лабораторию от первоначальной подготовки. Объявленные результаты предлагается своевременно размещать в научных репозиториях, не подконтрольных ИИ-лабораториям. Нужны постоянный идентификатор для цитирования и учёт последующих изменений; возможность комментариев особенно полезна. AGMAI также призывает не превращать математические публикации в рекламу моделей, перекладывающую издержки на сообщество. Для каждого результата лаборатории рекомендуется раскрыть название модели, использованные запросы, краткое изложение хода рассуждений, затраченное время и оценку стоимости вычислений. Дополнительно приветствуется публикация первоначальных ответов модели до редактирования. Для каждого решения нужно описать, как именно ИИ был привлечён к данной задаче. При массовой публикации требуется общий документ со ссылками на все результаты, объяснением выбора задач и числом других задач сопоставимой сложности, которые модели пытались, но не смогли решить. Так успехи получают контекст отбора и неудачных попыток.