Как 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