大语言模型的自我对弈、生物学AI、形式化验证等

跟上最新的AI研究步伐很难。这就是为什么我们创办了YC论文俱乐部——一个由研究人员、工程师和创始人组成的小团体，每两周在我们在山景城的办公室聚会，一起展示和讨论新论文。在这次会议中，我们涵盖了缩放定律是否适用于蛋白质生物学、面向语言模型的AlphaZero式自我对弈、面向实时语音代理的流式RAG、使用Lean的形式化验证，以及一位创始人为何认为使用代理编程就像玩实时策略游戏。敬请关注更多内容。有兴趣参加未来的论文俱乐部吗？请在此申请：https://events.ycombinator.com/ycpaperclub 申请加入Y Combinator：https://www.ycombinator.com/apply 在初创公司工作：https://www.ycombinator.com/jobs 00:00 — Francois Chaubard开场介绍 05:47 — Yasa Baig：蛋白质生物学的世界模型 (https://biohub.ai/esm/protein/about) 25:38 — Luke Bailey：通过自我引导扩展自我对弈 (https://arxiv.org/pdf/2604.20209) 37:51 — Arnab Maiti：Stream RAG：通过流式工具使用实现即时准确的语音对话系统 (https://arxiv.org/pdf/2510.02044) 47:40 — Robert George：Lean用于科学：形式化证明如何改变数学、AI和科学计算 (https://arxiv.org/abs/2602.22631) 58:52 — Lukens Orthwein：创始人AI技巧：编程现在成了RTS游戏 1:16:07 — 结束语

大语言模型的自我对弈、生物学AI、形式化验证等 | YC论文俱乐部