CS Space
Участие CS Space в AAAI 2026 AAAI 2026 - 40-я международная научная конференция в области ИИ, которая прошла в Сингапуре с 20 по 27 января 2026 года Рады поделиться, что работаем с нашим партнёром Pinely над новым форматом – трэвел-грантами для участия в…
AAAI-2026 глазами участников ⭐️
Наши коллеги Владимир Давидюк и Марат Аграновский съездили на крупную конференцию по AI, мы рады поделиться с вами их впечатлениями и рекомендациями по участию:
〰️ Как устроен отбор на одну из одну из ведущих научных конференций по AI?
〰️ Что включает этап rebuttal и как интерпретировать оценки рецензентов?
〰️ Чем полезны неформальные взаимодействия в рамках мероприятия?
Подробнее о конференции, процессе отбора и опыте участия — читайте в статье на Хабр📃
Наши коллеги Владимир Давидюк и Марат Аграновский съездили на крупную конференцию по AI, мы рады поделиться с вами их впечатлениями и рекомендациями по участию:
Подробнее о конференции, процессе отбора и опыте участия — читайте в статье на Хабр
Please open Telegram to view this post
VIEW IN TELEGRAM
❤16🔥7⚡6
Делимся материалами Всероссийской олимпиады школьников по информатике, профиль ИИ ⚡️
Вместе с коллегами мы приняли участие в подготовке разборов задач профиля «Искусственный интеллект» ВсОШ. Решили собрать в одном месте материалы прошлого года — задания и разборы регионального и заключительного этапов. Сохраняйте подборку и используйте её для подготовки к будущим олимпиадам⤵️
Региональный этап
✔️ Первый тур — контест и архив материалов
✔️ Второй тур — контест и архив материалов
Заключительный этап
✔️ Первый тур — контест и архив материалов
✔️ Второй тур — контест и архив материалов
💡 В разборах подробно рассматриваются идеи решений, используемые методы и особенности олимпиадных задач профиля ИИ:
🟡 ВКонтакте
🟡 YouTube
Надеемся, эти материалы помогут лучше понять формат олимпиады и будут полезны при подготовке. Приятного изучения!
Вместе с коллегами мы приняли участие в подготовке разборов задач профиля «Искусственный интеллект» ВсОШ. Решили собрать в одном месте материалы прошлого года — задания и разборы регионального и заключительного этапов. Сохраняйте подборку и используйте её для подготовки к будущим олимпиадам
Региональный этап
Заключительный этап
Надеемся, эти материалы помогут лучше понять формат олимпиады и будут полезны при подготовке. Приятного изучения!
Please open Telegram to view this post
VIEW IN TELEGRAM
❤15🔥11⚡7
Митап: LLM и агенты в математике и компьютерных науках ⤵️
Рассуждающие модели за последний год научились решать олимпиадные задачи, доказывать теоремы и предлагать исследовательские гипотезы. Если ты студент, исследователь или преподаватель — это уже не абстрактный вопрос "куда движется AI", а вполне конкретный: как теперь строить работу, чему учиться и на что делать ставку, когда часть привычных задач умеет делать модель?
Разберёмся вместе с исследователями и практиками, которые работают с этим каждый день:
⚡️ Сергей Николенко — как LLM меняют подход к математике, почему именно рассуждающие модели стали прорывом последних лет и что это значит для науки в горизонте нескольких лет.
⚡️ Алексей Скрынник — LLM в реальной research-работе: от кодинга и чтения статей до генерации и проверки научных гипотез. Что реально работает, а что пока хайп.
⚡️ Константин Яковлев — взгляд руководителя лаборатории: как LLM меняют роль студента и исследователя, и к чему готовиться, если вы только начинаете карьеру в науке.
📃 Подробное расписание — на сайте.
Дата и место
🟡 14 июля, 18:00-22:00
🟡 Mishka Бар, Конногвардейский бул., 4, Санкт-Петербург
🟡 Регистрация открыта. Участие свободное, количество мест ограничено.
Рассуждающие модели за последний год научились решать олимпиадные задачи, доказывать теоремы и предлагать исследовательские гипотезы. Если ты студент, исследователь или преподаватель — это уже не абстрактный вопрос "куда движется AI", а вполне конкретный: как теперь строить работу, чему учиться и на что делать ставку, когда часть привычных задач умеет делать модель?
Разберёмся вместе с исследователями и практиками, которые работают с этим каждый день:
Дата и место
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
❤19🔥12⚡6
Как LLM и AI-агенты меняют математику и компьютерные науки? ⤵️
Во вторник, 14 июля, мы провели митап о том, как LLM входят в реальную исследовательскую практику. Уже сегодня модели помогают доказывать теоремы, готовить и рецензировать статьи, писать код, выдвигать гипотезы и проводить эксперименты. Вместе с участниками обсудили возможности и ограничения этих инструментов и то, как они меняют роль человека в науке.
Спикеры поделились своими наблюдениями и опытом:
⚡️ Сергей Николенко рассказал о последних математических достижениях GPT и Claude и поделился опытом применения LLM в собственных исследованиях. Главный вывод: LLM уже меняют то, как мы занимаемся математикой и Computer Science, а роль человека становится другой.
⚡️ Алексей Скрынник показал, как LLM и AI-агенты помогают на всех этапах исследования — от рецензирования и подготовки статей до воспроизведения результатов и экспериментов. При этом научное суждение, проверка фактов и ответственность за выводы по-прежнему остаются за исследователем.
⚡️ Константин Яковлев поставил провокационный вопрос: может ли современная LLM заменить студента или аспиранта? Хотя модели уже справляются со многими задачами на уровне старшекурсника, наиболее перспективна связка «научный руководитель + студент + LLM», где человек учится ставить содержательные вопросы и направлять поиск.
Получился разговор не столько о замене исследователей, сколько о новом распределении ролей между человеком и ИИ — и о навыках, которые становятся особенно важными в науке уже сегодня.
💡 После докладов участники сыграли в авторский квиз Сергея Николенко «AI-искусство»:
〰️ в первом раунде отличали творчество поэтов от творчества нейросетей;
〰️ во втором раунде угадывали модель по автопортрету;
〰️ в третьем раунде угадывали понятие из ИИ по сгенерированной песне.
Делимся материалами:
📃 Записью выступлений и презентациями спикеров на странице мероприятия;
📷 Фотографиями с мероприятия
Спасибо всем участникам за интересные вопросы, живые дискуссии и отличную атмосферу. Отдельная благодарность нашему партнёру Pinely за поддержку мероприятия! До встречи на следующих мероприятиях CS Space🪐
Во вторник, 14 июля, мы провели митап о том, как LLM входят в реальную исследовательскую практику. Уже сегодня модели помогают доказывать теоремы, готовить и рецензировать статьи, писать код, выдвигать гипотезы и проводить эксперименты. Вместе с участниками обсудили возможности и ограничения этих инструментов и то, как они меняют роль человека в науке.
Спикеры поделились своими наблюдениями и опытом:
Получился разговор не столько о замене исследователей, сколько о новом распределении ролей между человеком и ИИ — и о навыках, которые становятся особенно важными в науке уже сегодня.
Делимся материалами:
Спасибо всем участникам за интересные вопросы, живые дискуссии и отличную атмосферу. Отдельная благодарность нашему партнёру Pinely за поддержку мероприятия! До встречи на следующих мероприятиях CS Space
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
❤22🔥14⚡7
Быстрые и компактные структуры для RMQ ⬇️
– Страница мероприятия
– 4 августа, вторник, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения
⭐️ О лекторе
📢 Анонс
– Страница мероприятия
– 4 августа, вторник, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения
Николай Мальковский — кандидат физико-математических наук; Principal Engineer, Chebyshev Research Center
Range minimum query — это довольно известная академическая задача, она важна и на практике, но не сама по себе. Часто она используется как рутина в алгоритмах типа LZ, суффиксных деревьев или поисковых индексов. У задачи есть несколько вариаций. Основная суть в том, что дан массив чисел, и нужно на произвольном подотрезке индексов искать минимум. Самый простой пример того, где такая задача может возникнуть — запрос к базе данных вида «какая максимальная зарплата сотрудников в возрасте от 30 до 40 лет?».
На семинаре я расскажу про эффективное решение статической задачи, то есть, когда массив известен заранее и не изменяется, но запросы заранее неизвестны. Наиболее эффективное решение такой вариации — это разреженные таблицы, их проблема в том, что они требуют O(n log n) памяти и, соответственно, применимы для размеров максимум ~10^7. Существует много подходов, как за счёт чуть более медленных запросов добиться использования O(n) памяти, включая классический алгоритм Фараха-Колтона — Бендера. Существуют также и succinct подходы, которые требуют ~2.5n бит памяти, но скорость ответа на запросы на практике у них уже заметно хуже. На семинаре я расскажу, как взять лучшее из обоих миров: два варианта, каждый из которых сравним по скорости ответа на запросы с разреженной таблицей, но при этом
— Первый вариант требует 1.05n дополнительных бит, но при этом нужно иногда подглядывать в исходный массив;
— Второй вариант требует 2.1n дополнительных бит, но заглядывать в исходный массив не нужно.
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥9❤8⚡5
Теоретико-игровые модели образования сложных сетей: от правила 6 рукопожатий до agentic web ⬇️
– Страница мероприятия
– 5 августа, среда, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения
⭐️ О лекторе
📢 Анонс
– Страница мероприятия
– 5 августа, среда, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения
Иван Самойленко — математик, младший научный сотрудник MIRAI и ВШЭ, аспирант МФТИ. В прошлом тимлид математиков в Wildberries (operational research)
Сложными сетями обычно называют большие нерегулярные графы, которые возникают во многих областях реального мира — от биологии и медицины до социальных сетей. Модели формирования и динамики таких сетей помогают понять, как возникают их ключевые свойства и как они влияют на поведение системы в целом. В лекции я дам краткую историческую справку по вопросу моделей образования сложных сетей и рассмотрю основные подходы к их определению (как вероятностные, так и теоретико-игровые). Затем мы подробно разберём модель, которая математически объясняет причину работы правила 6 рукопожатий (и почему рукопожатий именно 6).
В заключительной части, если позволит время, обсудим, почему теоретико-игровые модели формирования сетей становятся всё более значимыми для практических задач и чем понимание механизмов их образования может быть полезно для развития интернета в эпоху, когда заметную долю его участников будут составлять LLM-агенты.
Please open Telegram to view this post
VIEW IN TELEGRAM
❤24🔥11⚡5
Мечтают ли нейросети об олимпиадах? 🪐
Многие математики любят соревнования за сложные задачи, дух соперничества и радость от найденного решения. Мы решили посмотреть, как с олимпиадными задачами справятся большие языковые модели. Так родилась рубрика CS Space Reasoning🆕
Как это устроено🔽
1️⃣ Берём настоящую олимпиаду, пока её условия не появились в открытом доступе и не попали в обучающие выборки моделей.
2️⃣ Передаём модели только текст задания. Без интернета, поиска, внешних инструментов и выполнения кода — как у участников олимпиады.
3️⃣ Решения читают организаторы и ставят балл по критериям исходной олимпиады. Каждую работу независимо проверяют несколько экспертов, а при расхождении оценок определяют итоговый балл по обсуждению.
4️⃣ Публикуем все результаты: итоговые баллы, полные тексты решений, количество использованных токенов и стоимость запуска каждой модели.
Первым соревнованием в рубрике стал Math Cup 2026: десять моделей решали задачи отборочного тура и финала. Результаты можете посмотреть на сайте, а пока несколько спойлеров:
⚡️ Искусственный интеллект газанул настолько, что сместил естественный с пьедестала
⚡️ Две модели набрали поровну, но одна обошлась в 15 раз дороже другой
⚡️ Одна задача оказалась не по силам ни одному виду интеллекта
⚡️ Kimi K3, о которой у нас почти не говорят, мечтает так, что заехала на пьедестал рядом с GPT и Claude!
⚡️ А GigaChat и Alice AI, похоже, пока видят другие сны — их место в таблице ищите сами!
Пользуйтесь бенчмарком, изучайте решения моделей и следите за новыми соревнованиями. А если знаете олимпиаду, которую стоит дать моделям следующей, — присылайте! Результаты, неожиданные решения и идеи для новых запусков обсуждаем в чате CS Space🚀
Многие математики любят соревнования за сложные задачи, дух соперничества и радость от найденного решения. Мы решили посмотреть, как с олимпиадными задачами справятся большие языковые модели. Так родилась рубрика CS Space Reasoning
Как это устроено
Первым соревнованием в рубрике стал Math Cup 2026: десять моделей решали задачи отборочного тура и финала. Результаты можете посмотреть на сайте, а пока несколько спойлеров:
Пользуйтесь бенчмарком, изучайте решения моделей и следите за новыми соревнованиями. А если знаете олимпиаду, которую стоит дать моделям следующей, — присылайте! Результаты, неожиданные решения и идеи для новых запусков обсуждаем в чате CS Space
Please open Telegram to view this post
VIEW IN TELEGRAM
❤19⚡10🔥8