首页 / 智能体 Lean Pool: An AI-Maintained Archive of Formalized Mathematics 智能体 2026-09-21 来源：HuggingFace Daily Papers 自动聚合 阅读 45 次 · 访客 45 位 Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents. # HuggingFace Daily Papers ← 返回资讯列表 相关阅读AI 红队测试入门：在攻击者之前找到模型的弱点 昨天研发 Loop：让 Agent 平台自己给自己提需求的研发闭环 2天前AI delivers ‘zero financial payoff’ to most companies, Apollo economist says 4天前Nanbeige Releases Nanbeige4.3-33B, a 33B Open Agentic Coding Model 4天前给你的智能体搭一个经验沉淀闭环：Harness² 八组件的落地实践 4天前OpenMobile-2 proves open-source smartphone agents can rival proprietary models 5天前