YC 研究者分享自博弈和AI生物学新进展
YC Paper Club 最新一期中，研究者介绍了自博弈方法 Scaling Self-Play with Self-Guidance，以及蛋白质生物学世界模型 A World Model of Protein Biology。还讨论了 Stream RAG 实现流式工具使用的口语对话系统，以及 Lean 形式验证在智能验证新时代的应用。此外，展示了 AI 辅助编程在生产中的实践。
At our latest YC Paper Club, researchers and builders presented on self-play for LLMs, AI for biolog...
At our latest YC Paper Club, researchers and builders presented on self-play for LLMs, AI for biology, formal verification, and agentic coding in production. Thank you to our presenters: 00:00 — Francois Chaubard ( @FrancoisChauba1 ) | Introduction & Call for Presentations 05:47 — Yasa Baig ( @BaigYasa ) | A World Model of Protein Biology ( biohub.ai/esm/protein/ab… ) 25:38 — Luke Bailey ( @LukeBailey181 ) | Scaling Self-Play with Self-Guidance ( arxiv.org/pdf/2604.20209 ) 37:51 — Arnab Maiti | Stream RAG: Instant and Accurate Spoken Dialogue Systems with Streaming Tool Usage ( arxiv.org/pdf/2510.02044 ) 47:40 — Robert Joseph George ( @Robertljg ) | Lean and the New Era of Verified Intelligence ( arxiv.org/abs/2602.22631 ) 58:52 — Lukens Orthwein ( @lukensort ) | Founder AI Hacks: Programming is an RTS Game Now 1:16:07 — Closing Remarks Your browser does not support the video tag. 🔗 View on Twitter 💬 4 🔄 9 ❤️ 41 👀 5949 📊 12 ⚡