Искусственный интеллект для работающего математика

Description

Искусственный интеллект для работающего математика — это трехдневный семинар ICMS в [Эдинбурге](https://www.createwith.com/cities/edinburgh), который пройдет с 14 по 16 декабря 2026 года в Центре Бейса. Он будет исследовать, как ИИ меняет математические исследования, от автоматического доказательства теорем и формализации до генерации гипотез и анализа больших математических наборов данных. ## Математика встречает искусственный интеллект Недавние базовые модели создали мощные системы для математического рассуждения, в то время как машинное обучение раскрывает ранее скрытые структуры в математических данных, включая такие явления, как мутации эллиптических кривых. Этот семинар создает сфокусированную среду, в которой академические и промышленные исследователи могут оценить эти достижения, продемонстрировать новые технологии и обсудить, где текущие методы все еще имеют недостатки. Программа будет исследовать такие области, как: - Доказательство теорем и математическое рассуждение с помощью ИИ - Автоматическая формализация с использованием помощников по доказательству, таких как Lean - Генерация гипотез с поддержкой ИИ - Машинное обучение для крупных математических наборов данных - Инструменты для научного открытия, включая AlphaEvolve от DeepMind и Axolver и Axplorer от Axiom Maths - Возможности и ограничения текущих ИИ-систем для математики ## Доклады и рабочие группы Помимо приглашенных докладов, участники будут участвовать в специализированных рабочих группах, которые решают технические проблемы и совместные проекты. Эти сессии предназначены для того, чтобы помочь участникам разработать новые подходы, выявить общие проблемы и инициировать совместные исследования, а не просто наблюдать за демонстрациями. Сочетание презентаций и целевой групповой работы делает это особенно актуальным событием для людей, активно исследующих, как ИИ может помочь в математической практике. Семинар ориентирован на исследователей и практиков, работающих в **математике, информатике и промышленности**. Его акцент на технических проблемах, помощниках по доказательству и исследовательском сотрудничестве делает его наиболее подходящим для специализированной или исследовательской аудитории, а не для тех, кто ищет общее введение в ИИ. ## Научные организаторы… [Зарегистрируйтесь на это мероприятие](https://icms.ac.uk/activities/workshop/ai-workingmathematician)