По возможности доказательства следует формализовать. Для формальных материалов документ...
По возможности доказательства следует формализовать. Для формальных материалов документ предусматривает стандарты сообщества, включая заголовки об авторских правах, challenge file для comparator и файл formalization.yaml. Полезны и машиночитаемые связи между обычным текстом и формальными материалами. Если формализация недопустимо задерживает публикацию, необходимо явно указать её статус. Например, сообщить, что формализация опирается на стандартные результаты, принятые сообществом. Работа над человеческим пониманием при этом остаётся отдельным обязательством. Второй этап требует времени и организации совместной работы. Для особенно сложных доказательств и результатов, открывающих новые направления, предлагается поддерживать конференции и летние школы. Для других случаев подойдут специализированные семинары и длительные рабочие группы, включая финансирование участвующих студентов и постдоков. Ещё один вариант поддержки состоит в подготовке экспертами книг и больших объясняющих статей. Масштаб помощи должен зависеть от значимости и сложности результатов. Распределять средства предлагается существующим независимым некоммерческим организациям с отлаженными процедурами финансирования. Ни лаборатории, ни сама AGMAI не должны выбирать, какие конкретно усилия получат поддержку. Принятие такой помощи сообществом не означает одобрения практик лабораторий. Оно позволяет лабораториям выполнить свою часть обязательств по развитию понимания опубликованной ими математики. Наконец, документ различает два риска неравного доступа. Закрытые внутренние модели могут создать разрыв между лабораториями и остальным математическим сообществом. Экономические и другие ограничения доступа даже к публичным моделям способны усилить уже существующее неравенство между исследователями и учреждениями. Поэтому AGMAI рекомендует широкий и справедливый доступ мирового математического сообщества к публично доступным моделям. У этого требования есть содержательное основание. Математика развивается через коллективную проверку, объединение идей и общую интуицию. Сосредоточение инструментов получения передовых результатов у немногих мешает этой совместной работе. В предложенной программе своевременная публикация, поддержка понимания и самостоятельность сообщества связаны между собой. Полученный от модели текст должен пройти путь к знанию, которое люди способны понимать, обсуждать и развивать. PDF рекомендаций https://agmai.org/wp-content/uploads/2026/09/recommendations.pdf Наши каналы MAX · Telegram · Дзен #Математика #ИскусственныйИнтеллект #Доказательства #НаучноеСообщество