# Lean Pool: архив формализованной математики, поддерживаемый искусственным интеллектом

> *Машинный перевод (AI-generated content)*

**Published:** 23 сентября 2026 г.
**Author:** Vasily Ilin
**Source:** arXiv — cs.AI
**Language:** ru-RU
**HTML:** https://aiqazaqstan.com/ru/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.*