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

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

По всем вопросам: @aaignatiev
Download Telegram
Как 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