CS Space
2.82K subscribers
253 photos
89 links
Computer Science Space — научно-технологический клуб с открытыми курсами, лекциями, митапами и соревнованиями.

• Сайт: csspace.io
• Чат: @csspace_chat
• Бот: @cs_space_bot
• YouTube: youtube.com/@ComputerScienceSpace

По всем вопросам: @aaignatiev
Download Telegram
CS Space
Участие CS Space в AAAI 2026 AAAI 2026 - 40-я международная научная конференция в области ИИ, которая прошла в Сингапуре с 20 по 27 января 2026 года Рады поделиться, что работаем с нашим партнёром Pinely над новым форматом – трэвел-грантами для участия в…
AAAI-2026 глазами участников ⭐️

Наши коллеги Владимир Давидюк и Марат Аграновский съездили на крупную конференцию по AI, мы рады поделиться с вами их впечатлениями и рекомендациями по участию:

〰️ Как устроен отбор на одну из одну из ведущих научных конференций по AI?
〰️ Что включает этап rebuttal и как интерпретировать оценки рецензентов?
〰️ Чем полезны неформальные взаимодействия в рамках мероприятия?

Подробнее о конференции, процессе отбора и опыте участия — читайте в статье на Хабр 📃
Please open Telegram to view this post
VIEW IN TELEGRAM
16🔥76
Делимся материалами Всероссийской олимпиады школьников по информатике, профиль ИИ ⚡️

Вместе с коллегами мы приняли участие в подготовке разборов задач профиля «Искусственный интеллект» ВсОШ. Решили собрать в одном месте материалы прошлого года — задания и разборы регионального и заключительного этапов. Сохраняйте подборку и используйте её для подготовки к будущим олимпиадам⤵️

Региональный этап
✔️ Первый тур — контест и архив материалов
✔️ Второй тур — контест и архив материалов

Заключительный этап
✔️ Первый тур — контест и архив материалов
✔️ Второй тур — контест и архив материалов

💡 В разборах подробно рассматриваются идеи решений, используемые методы и особенности олимпиадных задач профиля ИИ:
🟡 ВКонтакте
🟡 YouTube

Надеемся, эти материалы помогут лучше понять формат олимпиады и будут полезны при подготовке. Приятного изучения!
Please open Telegram to view this post
VIEW IN TELEGRAM
15🔥117
Митап: LLM и агенты в математике и компьютерных науках ⤵️

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

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

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

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

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

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

Дата и место
🟡 14 июля, 18:00-22:00
🟡 Mishka Бар, Конногвардейский бул., 4, Санкт-Петербург
🟡 Регистрация открыта. Участие свободное, количество мест ограничено.
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
19🔥126
Как LLM и AI-агенты меняют математику и компьютерные науки? ⤵️

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

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


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

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

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

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

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

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

Спасибо всем участникам за интересные вопросы, живые дискуссии и отличную атмосферу. Отдельная благодарность нашему партнёру Pinely за поддержку мероприятия! До встречи на следующих мероприятиях CS Space 🪐
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
22🔥147
Быстрые и компактные структуры для RMQ ⬇️

Страница мероприятия
– 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
🔥985
Теоретико-игровые модели образования сложных сетей: от правила 6 рукопожатий до agentic web ⬇️

Страница мероприятия
– 5 августа, среда, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения

⭐️ О лекторе
Иван Самойленко — математик, младший научный сотрудник MIRAI и ВШЭ, аспирант МФТИ. В прошлом тимлид математиков в Wildberries (operational research)


📢 Анонс
Сложными сетями обычно называют большие нерегулярные графы, которые возникают во многих областях реального мира — от биологии и медицины до социальных сетей. Модели формирования и динамики таких сетей помогают понять, как возникают их ключевые свойства и как они влияют на поведение системы в целом. В лекции я дам краткую историческую справку по вопросу моделей образования сложных сетей и рассмотрю основные подходы к их определению (как вероятностные, так и теоретико-игровые). Затем мы подробно разберём модель, которая математически объясняет причину работы правила 6 рукопожатий (и почему рукопожатий именно 6).

В заключительной части, если позволит время, обсудим, почему теоретико-игровые модели формирования сетей становятся всё более значимыми для практических задач и чем понимание механизмов их образования может быть полезно для развития интернета в эпоху, когда заметную долю его участников будут составлять LLM-агенты.
Please open Telegram to view this post
VIEW IN TELEGRAM
24🔥115
Мечтают ли нейросети об олимпиадах? 🪐

Многие математики любят соревнования за сложные задачи, дух соперничества и радость от найденного решения. Мы решили посмотреть, как с олимпиадными задачами справятся большие языковые модели. Так родилась рубрика CS Space Reasoning 🆕

Как это устроено 🔽

1️⃣ Берём настоящую олимпиаду, пока её условия не появились в открытом доступе и не попали в обучающие выборки моделей.

2️⃣ Передаём модели только текст задания. Без интернета, поиска, внешних инструментов и выполнения кода — как у участников олимпиады.

3️⃣ Решения читают организаторы и ставят балл по критериям исходной олимпиады. Каждую работу независимо проверяют несколько экспертов, а при расхождении оценок определяют итоговый балл по обсуждению.

4️⃣ Публикуем все результаты: итоговые баллы, полные тексты решений, количество использованных токенов и стоимость запуска каждой модели.

Первым соревнованием в рубрике стал Math Cup 2026: десять моделей решали задачи отборочного тура и финала. Результаты можете посмотреть на сайте, а пока несколько спойлеров:

⚡️ Искусственный интеллект газанул настолько, что сместил естественный с пьедестала
⚡️ Две модели набрали поровну, но одна обошлась в 15 раз дороже другой
⚡️ Одна задача оказалась не по силам ни одному виду интеллекта
⚡️ Kimi K3, о которой у нас почти не говорят, мечтает так, что заехала на пьедестал рядом с GPT и Claude!
⚡️ А GigaChat и Alice AI, похоже, пока видят другие сны — их место в таблице ищите сами!

Пользуйтесь бенчмарком, изучайте решения моделей и следите за новыми соревнованиями. А если знаете олимпиаду, которую стоит дать моделям следующей, — присылайте! Результаты, неожиданные решения и идеи для новых запусков обсуждаем в чате CS Space 🚀
Please open Telegram to view this post
VIEW IN TELEGRAM
1910🔥8