13:18Y Combinator@ycombinatorYC Paper Club 最新一期中,研究者介绍了自博弈方法 Scaling Self-Play with Self-Guidance,以及蛋白质生物学世界模型 A World Model of Protein Biology。还讨论了 Stream RAG 实现流式工具使用的口语对话系统,以及 Lean 形式验证在智能验证新时代的应用。此外,展示了 AI 辅助编程在生产中的实践。论文自博弈AI生物学形式验证Stream RAGLean推荐理由:YC 研究者分享自博弈和AI生物学新进展原文