# Lean Pool：人工智能维护的形式化数学档案

> 全文为英语

**Published:** 2026年9月23日
**Author:** Vasily Ilin
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/zh/articles/lean-pool-an-ai-maintained-archive-of-formalized-mathematics

Lean Pool 是形式化数学的存储库。它由人工智能代理进行增长、维护和优化。

> 内容来自原始来源： **arXiv — cs.AI**
> [在 arXiv — cs.AI 阅读全文](https://arxiv.org/abs/2609.25199)

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*