Начинаем семинар:
Яндекс Телемост->

22 октября 2025 г., 18:00 МСК, онлайн

CayleyPy — методы искусственного интеллекта в теории групп и графов

Александр Викторович Червов, к.ф.-м.н, Institut Curie

Яндекс Телемост->

В докладе будет представлена основанная на методах ИИ открытая Python-библиотека CayleyPy, которая способна работать с графами Кэли очень больших размеров. CayleyPy значительно превосходит классические системы компьютерной алгебры GAP/SAGE в решении ряда задач, с её помощью были получены сотни гипотез и несколько результатов в области теории групп и графов. Классические задачи теории групп (например, разложение элементов группы) можно переформулировать как задачи обучения с подкреплением и решать их способами аналогичными AlphaGo/Zero от Google Deepmind.
Также будет дан обзор различных последних достижений в формирующейся области "ИИ для математики" / "AI for math".

Доклад опирается на работы:
— A. Chervov et al., CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs (Brief version), 2025. https://arxiv.org/abs/2509.19162
— A. Chervov et al., CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs, 2025. https://arxiv.org/abs/2502.18663
— A. Chervov et al., A Machine Learning Approach That Beats Large Rubik's Cubes, 2025. https://arxiv.org/abs/2502.13266

Начинаем семинар:
Яндекс Телемост->

5 ноября 2025 г., 18:00 МСК, онлайн

Методы построения кодов, исправляющих ошибки, с помощью программирования в ограничениях

Григорий Андреевич Трофимюк, к.т.н., старший научный сотрудник лаборатории теории информации и кодирования Университета ИТМО

Яндекс Телемост->

Рассматривается задача построения двоичных линейных блоковых кодов с улучшенными дистантными свойствами. Обозреваются алгебраические методы и методы компьютерного поиска. В частности, рассматривается построение кодов при помощи решателей задач программирования в ограничениях. Демонстрируется применение этих методов для поиска коротких кодов с наилучшим известным минимальным расстоянием и улучшенной корректирующей способностью.

Начинаем семинар:
Яндекс Телемост->

19 ноября 2025 г., 18:00 МСК, онлайн

Криптографические свойства булевых функций

Николай Александрович Коломеец, к.ф.-м.н., научный сотрудник лаборатории криптографии Математического центра в Академгородке, г. Новосибирск

Яндекс Телемост->

Доклад затронет особенности применения булевых (и векторных булевых) функций в криптографических приложениях. Будут рассмотрены основные классы криптографических функций, подходы к построению функций с "хорошими" свойствами, а также наиболее известные открытые вопросы в данной области.

Начинаем семинар:
Яндекс Телемост->

3 декабря 2025 г., 18:00 МСК, онлайн

Функциональные непрерывные дроби и результаты рекордного типа в гиперэллиптических полях

Максим Максимович Петрунин, к.ф.-м.н., старший научный сотрудник НИИСИ РАН

Яндекс Телемост->

Доклад включает краткое введение в теорию функциональных непрерывных дробей в гиперэллиптических полях, а также обзор результатов рекордного типа, связанных с двумя классическими нерешёнными задачами: о кручении в Якобианах гиперэллиптических кривых и о периодичности квадратного корня. Полученные оценки и конструкции основаны на сочетании глубокой теории и интенсивных компьютерных вычислений.

Начинаем семинар:
Яндекс Телемост->

25 марта 2026 г., !! 12:00 МСК, онлайн

Квантовая криптография, её позиционирование и вызовы

Дмитрий Анатольевич Кронберг, к.ф.-м.н., старший научный сотрудник отдел математических методов квантовых технологий, МИАН РАН

Яндекс Телемост->

Квантовая механика накладывает фундаментальные ограничения на действия, которые можно совершать над квантовыми состояниями, в том числе эти ограничения касаются возможности извлекать из них информацию. Однако эти ограничения оказываются полезными на практике: они позволили появиться квантовой криптографии, где они ограничивают возможности перехватчика. В докладе описываются принципы квантовой физики, на которых основывается квантовая криптография, а также обсуждаются её особенности: возможность доказательства стойкости, "вечная" стойкость распределяемых ключей и зависимость от аппаратуры.

Начинаем семинар:
Яндекс Телемост->

Д.А. Кронберг (МИАН РАН), Квантовая криптография, её позиционирование и вызовы

YouTube->
Дзен->
RuTube->
Файл->
Презентация->

8 апреля 2026 г., 12:00 МСК, онлайн

Что такое ряды Фарея и как их изучают?

Максим Александрович Королёв, д.ф.-м.-н., член-корр. РАН, МИАН им. В.А. Стеклова, мехмат МГУ

Яндекс Телемост->

Ряд (или последовательность) Фарея порядка Q — это множество упорядоченных по возрастанию правильных несократимых дробей, знаменатели которых не превосходят Q. Своим названием они обязаны английскому геологу, землемеру, писателю, общественному деятелю Джону Фарею, который первый подметил их интересные свойства и посвятил им короткую (в две страницы) заметку. Появившись как математический курьёз, ряды Фарея вскоре стали важным вспомогательным инструментом в аналитической теории чисел. Ещё позже они сами стали предметом изучения, представляющим самостоятельный интерес. Оказывается, например, что некоторые утверждения о распределении дробей из ряда Фарея эквивалентны — ни много, ни мало — гипотезе Римана о нулях дзета-функции. О том, какие есть задачи, связанные с рядами Фарея, и какие инструменты используются для их изучения, и планируется рассказать в обзорном докладе.

Начинаем семинар:
Яндекс Телемост->