Итоги весеннего семестра: курсы и открытые лекции ⤵️

Этой весной мы провели два курса и несколько открытых лекций, посвящённых алгоритмам, математике, компьютерным системам и современным технологиям:

1️⃣ На курсе «Фотограмметрия: трёхмерная реконструкция» Николай Полярный и Борис Симютин познакомили участников с основными этапами построения 3D-моделей по фотографиям: от поиска ключевых точек и восстановления положения камер до реконструкции поверхности и построения текстур.

2️⃣ На курсе «Алгоритмы для NP-трудных задач» Юрий Дементьев познакомил участников с миром вычислительно сложных задач: от классических NP-трудных проблем до современных точных, приближённых и параметризованных алгоритмов, которые позволяют решать их на практике.

Благодарим наших преподавателей за то, что весенний цикл открытых лекций получился особенно разнообразным ⚡️

🟡 «Starlink: невидимый айсберг оптимизации динамических графов»
🟡  «Студент, диплом и LLM: что такое хорошо и что такое плохо»
🟡 «Как найти сумму ряда?»
🟡 «Succinct структуры, деревья и скобочные последовательности»
🟡 «Хватит греть воздух видеокартами: архитектура Ascend»

Спасибо всем, кто посещал лекции, участвовал в курсах и задавал вопросы!
Делимся фотографиями весеннего семестра. До встречи в новом учебном году!

Митап: LLM и агенты в математике и компьютерных науках ⤵️

Рассуждающие модели за последний год научились решать олимпиадные задачи, доказывать теоремы и предлагать исследовательские гипотезы. Если ты студент, исследователь или преподаватель — это уже не абстрактный вопрос "куда движется AI", а вполне конкретный: как теперь строить работу, чему учиться и на что делать ставку, когда часть привычных задач умеет делать модель?

Разберёмся вместе с исследователями и практиками, которые работают с этим каждый день:

⚡️ Сергей Николенко — как LLM меняют подход к математике, почему именно рассуждающие модели стали прорывом последних лет и что это значит для науки в горизонте нескольких лет.

⚡️ Алексей Скрынник — LLM в реальной research-работе: от кодинга и чтения статей до генерации и проверки научных гипотез. Что реально работает, а что пока хайп.

⚡️ Константин Яковлев — взгляд руководителя лаборатории: как LLM меняют роль студента и исследователя, и к чему готовиться, если вы только начинаете карьеру в науке.

📃 Подробное расписание — на сайте.

Дата и место
🟡 14 июля, 18:00-22:00
🟡 Mishka Бар, Конногвардейский бул., 4, Санкт-Петербург
🟡 Регистрация открыта. Участие свободное, количество мест ограничено.

Как LLM и AI-агенты меняют математику и компьютерные науки? ⤵️

Во вторник, 14 июля, мы провели митап о том, как LLM входят в реальную исследовательскую практику. Уже сегодня модели помогают доказывать теоремы, готовить и рецензировать статьи, писать код, выдвигать гипотезы и проводить эксперименты. Вместе с участниками обсудили возможности и ограничения этих инструментов и то, как они меняют роль человека в науке.

Спикеры поделились своими наблюдениями и опытом:

⚡️ Сергей Николенко рассказал о последних математических достижениях GPT и Claude и поделился опытом применения LLM в собственных исследованиях. Главный вывод: LLM уже меняют то, как мы занимаемся математикой и Computer Science, а роль человека становится другой.

⚡️ Алексей Скрынник показал, как LLM и AI-агенты помогают на всех этапах исследования — от рецензирования и подготовки статей до воспроизведения результатов и экспериментов. При этом научное суждение, проверка фактов и ответственность за выводы по-прежнему остаются за исследователем.

⚡️ Константин Яковлев поставил провокационный вопрос: может ли современная LLM заменить студента или аспиранта? Хотя модели уже справляются со многими задачами на уровне старшекурсника, наиболее перспективна связка «научный руководитель + студент + LLM», где человек учится ставить содержательные вопросы и направлять поиск.

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

💡 После докладов участники сыграли в авторский квиз Сергея Николенко «AI-искусство»:
〰️ в первом раунде отличали творчество поэтов от творчества нейросетей;
〰️ во втором раунде угадывали модель по автопортрету;
〰️ в третьем раунде угадывали понятие из ИИ по сгенерированной песне.

Делимся материалами:
📃 Записью выступлений и презентациями спикеров на странице мероприятия;
📷 Фотографиями с мероприятия

Спасибо всем участникам за интересные вопросы, живые дискуссии и отличную атмосферу. Отдельная благодарность нашему партнёру Pinely за поддержку мероприятия! До встречи на следующих мероприятиях CS Space 🪐