Последние месяцы продемонстрировали ускоряющийся рост количества и качества результатов в области фундаментальной математики, полученных с применением технологий ИИ. Математическое открытие традиционно рассматривалось как сфера творческой деятельности человека. Как и в других таких сферах мы слышали убедительные аргументы в пользу того, что «ну здесь-то машина никогда…». Более того, выглядела неприступной даже вершина соревновательной доуниверситетской математики – «Международная математическая олимпиада». Но различные модели ИИ за три года прошли здесь путь от участника с минимальными достижениями до абсолютного победителя.
Во «взрослой» же математике счет известных проблем, в течение десятилетий не поддававшихся решению и решенных в 2026 г. в результате обращения к ИИ, измеряется десятками. Это – микроскопическая, «нано-» доля сегодняшней и будущей математики. Но влияние ее на массовое сознание и принятие решений в научной и образовательной политике далеко не пренебрежимо.
Анализ ситуации с ИИ в математических исследования может оказаться полезным и в более широком контексте. С одной стороны, это может быть моделью для применения ИИ в других, смежных и не смежных областях: теоретической физике, биологии, анализе глобальных процессов, законотворчестве. С другой стороны, представляет интерес реакция самих математиков, в частности подписание сотнями профессионалов «Лейденской декларации» (от 2 июня 2026 г., поддержана IMU). Позиция математического сообщества, постановка проблем и предложения важны и вне математического, и даже вне научно-образовательного контекста.
В рамках секции профессиональные математики смогут обменяться собственными результатами и другими новостями в бурно развивающейся области. Другие исследователи смогут познакомиться с позицией работающих математиков. Для всех участников секции происходящий здесь и сейчас «кейс математики» может быть источником для философских, этических, управленческих решений.

О секции