Self-Play для LLM, ИИ в биологии, формальная верификация и многое другое | YC Paper Club

Уследить за последними исследованиями в области ИИ непросто. Именно поэтому мы создали YC Paper Club — небольшую группу исследователей, инженеров и основателей компаний, которые встречаются каждые две недели в нашем офисе в Маунтин-Вью, чтобы вместе представлять и обсуждать новые научные работы. На этих встречах мы обсуждаем, действуют ли законы масштабирования в белковой биологии, самообучение в стиле AlphaZero для языковых моделей, потоковую передачу RAG для голосовых агентов в реальном времени, формальную верификацию с помощью Lean, а также почему один из основателей считает, что программирование с агентами — это в точности игра в стратегию в реальном времени. Хотите присоединиться к будущему Paper Club? Подать заявку можно здесь: https://events.ycombinator.com/ycpape... Подать заявку в Y Combinator: https://www.ycombinator.com/apply Работать в стартапе: https://www.ycombinator.com/jobs 00:00 — Вступительное слово Франсуа Шаубара 05:47 — Яса Баиг: Мировая модель белковой биологии (https://biohub.ai/esm/protein/about) 25:38 — Люк Бейли: Масштабирование самообучения с помощью самоуправления (https://arxiv.org/pdf/2604.20209) 37:51 — Арнаб Майти: Stream RAG: Мгновенные и точные системы диалога с использованием потоковых инструментов (https://arxiv.org/pdf/2510.02044) 47:40 — Роберт Джордж: Бережливое производство для науки: как формальные доказательства могут изменить Математика, ИИ и научные вычисления (https://arxiv.org/abs/2602.22631) 58:52 — Лукенс Ортвейн: Основатель AI Hacks: Программирование теперь — это стратегия в реальном времени 1:16:07 — Заключительные замечания