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

Совсем недавно мы рассказывали о том, что профессор и первый декан (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 (инструкция, как пройти)

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