Объявим тему в день конференции

Даниил Лаптев, Т-Банк

Расскажу, как современные AI-ассистенты используются в процессе научных исследований. Поговорим об истории развития таких систем, разберем принципы их построения и валидации. Обсудим, как они применяются уже сегодня и что нас ждет в будущем

Алексей Горбатовский, Т-Банк

Поговорим о парадоксе размера группы N в RLVR: почему при средних N модель концентрируется на том, что уже знает. Пройдем путь от обнаружения аномалии до интуиции, которая лежит в основе метода F-GRPO. Обсудим границы применимости симуляций и то, как математические механизмы помогают находить лаконичные решения без большого количества GPU

Объявим тему в день конференции

Руслан Рахимов, Т-Банк

Модели мира предсказывают динамику среды для планирования и обучения агентов. Это можно делать в пиксельном пространстве, но я разберу альтернативу — латентные модели без декодера, где целевая функция не включает декодирование изображения

Влад Куренков, Институт AIRI

Заменят ли агенты исследователей — скучный вопрос. Важнее, какие исследователи вырастают рядом с ними. Поговорим о том, где LLM уже работают на уровне магистранта, где по-прежнему ошибаются и что должен менять супервизор, чтобы студенты становились учеными, а не операторами инструментов

Марк Обозов, Т-Банк

Вместе с CayleyPy мы получили более 200 новых гипотез в теории групп — часть из них фундаментальные. Обсудим, как превратить их в бенчмарк для LLM и мультиагентных систем. Разберем, как с помощью Lean и автоформализации перейти от гипотез к доказательствам и верификации