⚡️ С.В. Иванов стал лауреатом премии Лобачевского

Совсем недавно мы рассказывали о том, что профессор и первый декан (2019-2024) нашего факультета, член-корреспондент РАН, главный научный сотрудник ПОМИ РАН Сергей Владимирович Иванов стал лауреатом международной премии РУДН имени Патриса Лумумбы.

С гордостью сообщаем, что Сергей Владимирович также стал лауреатом международной премии имени Н.И. Лобачевского «За выдающиеся работы в области фундаментальной и прикладной математики»! Размер премии составил 75 тысяч долларов.

«У нас в этом году кандидатов на премию достаточно много. Из 13 номинантов 9 вышли в финал, среди них есть 6 выдающихся ученых. Премия знаковая, она была учреждена в конце XIX века. Мы установили очень высокую планку. Выдающиеся математики современности прошлых лет являются лауреатами — Андрей Колмогоров, Сергей Новиков и так далее. Самое первое, на что мы обращаем внимание, — это какое выдающееся достижение они совершили в последние годы и какое влияние на дальнейшее развитие оно будет оказывать», — подчеркнул председатель заседания жюри, заведующий кафедрой алгебры и математической логики, профессор Марат Арсланов.

Медаль и премия, а также диплом об их присуждении будут вручены на торжественном заседании Ученого совета Казанского федерального университета в конце осени 2025 года.

Коллектив факультета МКН со всей теплотой поздравляет Сергея Владимировича с новым достижением в области науки и желает дальнейших выдающихся успехов! 🔖

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

Напоминаем, что уже сегодня в 17:30 состоится семинар профессора Эммануэля Дрор Фарджуна. Если собираетесь прийти очно, не забудьте взять с собой паспорт или пропуск на факультет!

🔖 14-я линия В.О., 29, ауд. 201
Подключение к Zoom

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

11 сентября на факультете состоится студенческий коллоквиум, который проведёт аспирант Степан Шамов с докладом «Доказательства без разглашения».

В первой части доклада мы поговорим об общих принципах криптографии на примере задачи дискретного логарифмирования и арифметики эллиптических кривых. Далее перейдём к так называемым «доказательствам с нулевым разглашением».

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

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

Присоединяйтесь!

🔖 11 сентября в 17:30, 201 аудитория

⚡️ Лаборатория искусственного интеллекта, математики и компьютерных наук им. А.А. Маркова СПбГУ открывает осенний сезон семинаров

Первый семинар состоится в среду, 17 сентября в 14:00 в Лаборатории Маркова. Докладчиком выступит Сергей Игоревич Николенко с темой «Как оценивать данные для LLM: от простых фильтров к influence functions».

Не все данные одинаково полезны для обучения. Иногда модель становится «умнее» после ещё 50 ГБ текста, а иногда — нет. Какие именно документы оказались наиболее полезны, как узнать это заранее? Об этом мы и поговорим на первом семинаре Лаборатории Маркова.

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

Но главное содержание нашего разговора — функции влияния (influence functions, IF). Они отвечают на вопрос о том, как изменится метрика качества, если убрать тот или иной документ из датасета. И здесь внезапно появляется много интересной математики — ну ладно, достаточно много по меркам глубокого обучения. Влияние точки данных легко оценить теоретически, но простые методы совсем не масштабируются, и чтобы вывести это на уровень LLM, нужно что-то придумывать. Мы разберём несколько базовых методов (LiSSA, Arnoldi-IF), важные приближения (LoGra, EK-FAC) и методы ранней оценки данных (LinFiK/ALinFiK).

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

🎉Ссылка на регистрацию

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

Напоминаем, что уже завтра в 14:00 состоится первый семинар лаборатории им. А.А. Маркова, докладчик — С.И. Николенко. Если собираетесь прийти очно, не забудьте взять с собой паспорт или пропуск!

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

🎉Ссылка на регистрацию
Ссылка на Zoom

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

18 сентября на факультете состоится студенческий коллоквиум, который проведёт аспирант Никита Добронравов с докладом «Размерность траекторий броуновского движения».

Мы обсудим разные геометрические свойства броуновского движения. В частности — теорему о том, что размерность траекторий броуновского движения почти наверное равна 2, но мера Хаусдорфа размерности 2 от траектории почти наверное равна 0. Оказывается, на самом деле истинная размерность траекторий логарифмически меньше 2.

🔖 18 сентября в 17:30, 201 аудитория

Трансляция в Zoom не предусмотрена. Не забудьте взять с собой паспорт или пропуск!

Математические финансы — это сложно? Да, но оно того стоит!

В России и в мире сейчас дефицит специалистов, которые могут на языке математики говорить с реальным бизнесом, строить модели и управлять рисками. Такие люди на вес золота!

Наши коллеги из фонда «Институт «Вега» приглашают вас на лекцию «Зачем нужна финансовая математика», которую проведёт Кирилл Климов — генеральный директор Фонда «Институт «Вега», руководитель группы количественных финансов ВТБ.

На реальных примерах из науки и бизнеса расскажем, что такое математические финансы, где можно найти им применение и почему за этой областью знания будущее.

🔖 23 сентября, 17:20, 301 аудитория

Трансляция в Zoom не предусмотрена. Не забудьте взять с собой паспорт или пропуск!

Учиться легче, когда люди вокруг горят такими же целями, как и вы. Идеи рождаются быстрее, проекты становятся масштабнее, а новые знакомства открывают неожиданные горизонты 🙏

Именно в такой атмосфере можно оказаться на шестом, финальном в этом году Студкемпе «Математика искусственного интеллекта», который пройдёт в СПбГУ 🚀

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

Какие знания вы получите?
🟣 Глубокое понимание математики, лежащей в основе современных методов ML
🟣 Реализация полного цикла байесовского анализа данных на реальных задачах
🟣 Марковские цепи, MCMC-методы
🟣 Разработка и исследование продвинутых алгоритмов эвристического поиска в многоагентных системах

Для участия необходимо понимать основы ML, теорию вероятностей, математическую статистику, линейную алгебру, основы оптимизации и базовое программирование на Python. Ну и, конечно, зарегистрироваться до 21 сентября.

Пора использовать новые возможности и сделать шаг к большим открытиям!

❤️ — я с вами
⚡️ — а я уже был на студкемпах 2025

🌸 Приглашаем студентов старших курсов на студкемп СПбГУ и Яндекса, который со стороны университета организует команда нашего факультета!

Регистрация до 23:59 21 сентября, отборочный этап уже открыт ⚡️