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

Уже завтра состоится очередной семинар лаборатории им. А.А. Маркова. Докладчик — Константин Яковлев, заведующий лабораторией.

Search. Plan. Learn.
Ищи. Планируй. Учись.

Способность искать и находить решение нетривиальных задач, планировать на несколько шагов вперёд и обучаться (на чужом или собственном опыте) — эти свойства традиционно приписывают интеллектуальным системам (или, как это принято сейчас говорить, искусственному интеллекту). Неудивительно, что эти (под)области ИИ активно развивались с самого зарождения этой науки и развиваются до сих пор.

В рамках доклада мы рассмотрим ряд интересных и практически мотивированных задач, которые решаются исследователями с помощью методов эвристического поиска, автоматического планирования и машинного обучения и которые входят в сферу моих интересов. Например: как спланировать множество неконфликтных путей для n мобильных агентов, действующих в общей среде? Или: как решить сложную логическую головоломку вроде кубика Рубика? Или: как по данным датчиков от робота построить карту местности, в которой он перемещается? Особое внимание будет уделено открытым задачам, не имеющим в настоящий момент решения, но которые (на мой взгляд) вполне под силу решить в рамках курсовой/дипломной работы и внести свой вклад в науку.

Я надеюсь, что этот доклад придаст мотивации тем из вас, кто хочет заняться научной деятельностью, и поможет сориентироваться тем, кто сейчас выбирает тему КР/ВКР.

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

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

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

⚡️ Напоминаем, что лекция «Зачем нужна финансовая математика» Кирилла Климова, генерального директора Фонда «Институт «Вега» и руководителя группы количественных финансов ВТБ, пройдёт уже сегодня в 17:20!

🔖 301 аудитория
Не забудьте паспорт или пропуск!

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

С 26 сентября на факультете МКН СПбГУ стартует курс Николая Юрьевича Решетихина (Беркли, Университет Цинхуа, ПОМИ и СПбГУ) «Группы Пуассона—Ли и интегрируемые системы».

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

Группа Пуассона—Ли — это группа Ли, т.е. многообразие, снабжённое структурой группы с Пуассоновой структурой таким образом, что групповое умножение является морфизмом Пуассоновых многообразий. Подобные структуры можно рассматривать как геометрические аналоги алгебр Хопфа, а описание симплектических листов — как геометрический аналог описания неприводимых представлений алгебр Хопфа. Группы Пуассона—Ли являются важным объектом для построения интегрируемых гамильтоновых систем.

Структура курса:

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

2. Квазитреугольные группы Пуассона—Ли и квазитреугольные биалгебры Ли, факторизуемые группы Пуассона—Ли. Конструкция дубля биалгебры Ли и дубль группы Пуассона—Ли. Классификация Белавина—Дринфельда факторизуемых структур на простых группах Ли (на примере SU(n) для стандартной структуры Пуассона—Ли).

3. Симплектические листы групп Пуассона—Ли. Классификация симплектических листов. Описание симплектических листов для SL(n, C) со стандартной структурой Пуассона—Ли и двойные клетки Брюа. Кластерные координаты и почему они координаты Дарбу на симплектических листах.

4. Определение интегрируемой Гамильтоновой системы. Интегрируемость по Лиувиллю и суперинтегрируемость. Как строить интегрируемые системы по факторизованным группам Пуассона—Ли.

5. Примеры моделей типа Тоды, их свойства. Связь с Гамильтоновой редукцией и другие сюжеты на которые останется время.

⚫️Ссылка для подключения в Zoom на первые несколько занятий

⚡️ Уважаемые коллеги!

Уже сегодня в 17:30 на факультете Математики и компьютерных наук СПбГУ состоится коллоквиум «Проблема существования Гурвица и расслоенные произведения» Фёдора Паковича (Кафедра математики, Университет Бен-Гуриона в Негеве).

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

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

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

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

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

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

🔖 Лекции проходят по пятницам в 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 Математическая логика, алгебра, теория чисел и дискретная математика)

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