# Lean Pool: AI қолдайтын ресми математика мұрағаты

> *Машиналық аударма (AI-generated content)*

**Published:** 2026 ж. 23 қыркүйек
**Author:** Vasily Ilin
**Source:** arXiv — cs.AI
**Language:** kk-KZ
**HTML:** https://aiqazaqstan.com/kk/articles/lean-pool-an-ai-maintained-archive-of-formalized-mathematics

Lean Pool - бұл формалды математиканың репозиторийі. Оны AI агенттері өсіреді, ұстайды және оңтайландырады.

> Материал бастапқы дереккөзден алынған: **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.*