首页 / 智能体 Lean Pool: An AI-Maintained Archive of Formalized Mathematics 智能体 2026-09-21 来源：HuggingFace Daily Papers 自动聚合 阅读 6 次 · 访客 6 位 Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents. # HuggingFace Daily Papers ← 返回资讯列表 相关阅读Sakana AI's self-improving model gets better at solving and judging, but can't catch its own blind spots 昨天Meta's new frontier model Muse Wonder Full breaks into the AI top tier 昨天美国核反应堆开始整合 AI 助手 ] 昨天Alibaba Qwen Introduces QwenGyre: Elastic Reinforcement Learning RL for XLong-Horizon Agents 昨天Clearing chat history helps AI agents find better solutions 昨天早报｜我们跟库克聊了聊iPhone Duo/继QClaw后，腾讯再关停一个Agent/SpaceXAI改名SpaceXSI 2天前