**Lean Pool：由 AI 智能体维护的形式化数学仓库**

_Lean Pool: An AI-Maintained Archive of Formalized Mathematics_

> Lean Pool 是一个形式化数学成果的代码仓库，其内容由 AI 智能体自主扩充、维护与优化。该工作探索以智能体持续积累并整理形式化数学知识，减少人工投入。

**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：论文
- **发布时间**：2026-09-23 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2609.25199)