⚡️ Дорогие коллеги!

Напоминаем, что сегодня стартует курс Н. Ю. Решетихина «Группы Пуассона—Ли и интегрируемые системы».

Программа первой лекции:

Определение групп Пуассона—Ли и некоторые простые примеры. Биалгебры Ли. Двойственность групп Пуассона—Ли.

🔖 Лекции проходят по пятницам в 19:00 в Zoom, присоединиться можно по ссылке

⚡️ Также на нашем факультете сегодня состоится коллоквиум «Максимальные подполя конечномерных алгебр с делением» С. В. Тихонова (Мехмат БГУ).

Поля разложения играют важную роль в теории центральных простых алгебр. Возникает естественный вопрос, насколько алгебра определяется множеством своих полей разложения.
Цель доклада — дать обзор недавних результатов по проблеме характеризации конечномерных алгебр с делением в терминах их максимальных подполей.

🔖 26 сентября, 17:30, 201 ауд.

Ссылка для подключения в Zoom. Если планируете очное посещение, не забудьте паспорт или пропуск!

⚡️ Дорогие коллеги!

Следующий семинар Лаборатории им. А. А. Маркова будет обзорно-познавательным — о том, как работает RLHF и вообще RL для LLM fine-tuning, что нового в это привнёс DeepSeek и как это работает на практике. Докладчик — Кирилл Тыщук, выпускник факультета МКН СПбГУ, ex-Yandex, ex-Perplexity AI, Incoming Research Engineer в DeepMind.

Пост-обучение LLM с подкреплением: последние новости в алгоритмах и их наградах

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

А затем подробнее остановимся на технических деталях самых популярных алгоритмов:
— базовый PPO, которым обучали первый ChatGPT;
— простой DPO, который делает "RL без RL";
— новый GRPO + verifiable rewards, которым обучали DeepSeek R1.

🔖 1 октября, 14:00
Университетская наб., 9, Ректорский флигель, ауд. 106 (инструкция, как пройти)

⚫️ Ссылка на регистрацию
⚫️ Ссылка на трансляцию в Zoom. Если планируете прийти очно, не забудьте паспорт или пропуск!

Дорогие друзья!

🌸 Желаем вам продуктивного начала октября и делимся дайджестом научных мероприятий факультета МКН на этой неделе:

⚫️ 8 октября, 14:00
Семинар «AIScientist — большой вызов для современных универсальных систем искусственного интеллекта». Докладчик — Александр Игоревич Панов, д.ф.-м.н., доцент, заведующий лабораторией Когнитивных когнитивных систем в Институте искусственного интеллекта AIRI, директор Центра когнитивного моделирования Московского физико-технического института (МФТИ).

В докладе обсудим задачу автоматизации научных исследований, применение в ней больших языковых и мультимодальных моделей. Поговорим о современных ИИ-инструментах, используемых в научных исследованиях. Отметим ключевые научных проблемы на пути создания ИИ-исследователя. Обсудим проект создания робототехнического агента-исследователя в задачах автоматизации процессов в химических лабораториях.

106 ауд., Ректорский флигель (инструкция, как пройти)

🔘 Ссылка на регистрацию
🔘 Ссылка на трансляцию в Zoom

⚫️ 8 октября, 17:30
Семинар «Произведения Бляшке и теорема Понселе». Докладчик — Ленский Кирилл Алексеевич, магистрант МКН СПбГУ.

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

🔘

ауд. 217Б

🔘

Zoom ID: 933-271-498

⚫️ 9 октября, 17:30
Студенческий коллоквиум «Устойчивость алгоритма Шура». Докладчик — Губкин Павел Васильевич, аспирант ПОМИ РАН, СПбГУ.

В докладе мы обсудим классические теоремы из теории ортогональных многочленов на окружности и сформулируем недавно доказанные оценки устойчивости алгоритма Шура.

🔘

201 ауд., трансляция не предусмотрена

Если вы планируете очное посещение, не забудьте взять с собой паспорт или пропуск!

⚡️ Подведены итоги конкурса на получение Именной премии программы «Родные города» в 2025 году

Победителем номинации «Постдок» стал Дородный Марк Александрович, доцент Кафедры высшей математики и математической физики СПбГУ.

Победителями номинации «Молодой постдок» стали:

⚫️ Мокеев Дмитрий Сергеевич, инженер-исследователь Междисциплинарной исследовательской лаборатории им. П. Л. Чебышева;
⚫️ Хасянов Рамис Шафкятович, научный сотрудник Лаборатории «Вероятностные методы в анализе» при факультете МКН СПбГУ.

Победителями номинации «Аспирант» стали:

⚫️ Добронравов Егор Петрович, инженер- исследователь Факультета математики и компьютерных наук СПбГУ, аспирант (М3.90111.2023 Вещественный, комплексный и функциональный анализ);
⚫️ Добронравов Никита Петрович, инженер-исследователь Факультета
математики и компьютерных наук СПбГУ, аспирант (М3.90111.2023 Вещественный, комплексный и функциональный анализ);
⚫️ Кудряков Дмитрий Александрович, инженер-исследователь Санкт-Петербургского международного математического института имени Леонарда Эйлера, аспирант (М3.90115.2024 Математическая логика, алгебра, теория чисел и дискретная математика)

Тепло поздравляем победителей и желаем дальнейших научных успехов! 🌸

Дорогие друзья!

🌸 Желаем вам продуктивного понедельника и делимся подборкой научных мероприятий факультета МКН на этой неделе:

⚫️ 15 октября, 14:00
Семинар лаборатории Маркова «Состояния важнее внимания? От классических SSM к S4/S5 и Mamba». Докладчики — Алексей Власов и Андрей Лаэтин, инженеры-исследователи лаборатории Маркова, МКН СПбГУ.

Трансформеры стали стандартом для работы с последовательностями, но современное моделирование живо «не трансформером единым». Их ключевое ограничение — квадратичное время работы от длины входа. Мы разберём State Space Models (SSM) — в том числе нашумевшую Mamba — как альтернативу: эти модели масштабируются линейно, естественно описывают динамику во времени и лучше работают с дальними зависимостями.

Мы начнём с классических SSM (с помощью которых людей отправляли на Луну), и их практических версий в ML. В качестве мотивации посмотрим на HiPPO: как можно «сжать прошлое и восстановить его обратно». Дальше обсудим связь с оптимальным управлением и сигналами, и покажем, как линейная масштабируемость достигается структурой SSM, а стабильность обучения обеспечивается не только корректной инициализацией, но и выбором метода дискретизации.

Разберём три удобных взгляда на такие модели — как непрерывные динамические системы, как свёрточные операторы (через структурированные матрицы) и как рекуррентное обновление состояния. Покажем эволюцию от S4 (SISO) к S5 (в том числе MIMO), и чем эти апдейты важны на практике.

Завершим кратким обзором Mamba: что в ней означает «селективность» и как устроено обновление скрытого состояния. Заодно обсудим, почему эта модель вызвала такой фурор; но подробное изложение архитектур Mamba и Mamba 2 будет в следующем докладе.

🔘 ауд. 106, Ректорский флигель (инструкция, как пройти)
🔘 Ссылка на трансляцию в Zoom
🔘 Ссылка на регистрацию

⚫️ 15 октября, 17:30
Семинар «Асимптотика сферического интеграла по унитарной группе». Докладчик — Евгений Олегович Порубов, лаборант-исследователь лаборатории им. П.Л. Чебышева.

В докладе будет рассмотрена асимптотика интеграла Ицексона–Зубера (сферический интеграл по унитарной группе), который естественным образом возникает при рассмотрении матричных моделей с источниками. Мы покажем связь между матричными моделями и системами гидродинамического типа. Доклад основан на работе А. Матицына «On the large N limit of the Itzykson — Zuber integral» https://arxiv.org/pdf/hep-th/9306077

🔘 ауд. 217Б
🔘 Zoom ID: 675-315-555

⚫️ 16 октября, 17:30
Совместный коллоквиум факультета МКН СПбГУ и Института Эйлера "Maps of minimal distortion between surfaces". Докладчик — Атанас Пападопулос (Athanase Papadopoulos), Университет Страсбурга.

I will talk about the theory of maps with minimal distortion between surfaces. The theory started with William Thurston's paper "Minimal stretch maps between hyperbolic surfaces", who used these maps in the definition of a new metric on Teichmüller space, now called the Thurston metric. I will survey recent works on this topic, in various settings (Euclidean and non-Euclidean). I will mention relations with physics, biology and art.

🔘 ауд. 201
🔘Zoom ID: 675-315-555

Если вы планируете очное посещение, не забудьте взять с собой паспорт или пропуск!