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

- 来源：HuggingFace Daily Papers（社区热门论文）
- 发布时间：2026-09-21 08:00
- AIHOT 分数：25
- AIHOT 链接：https://aihot.news/items/cmudnh76g0hbtrogglgod9gwa
- 原文链接：https://arxiv.org/abs/2609.25199

## AI 摘要

Lean Pool 是一个由 AI 智能体负责扩充、维护和优化的形式化数学库。该仓库以 arXiv 论文形式发布（arXiv:2609.25199），归入 cs.AI 分类，提交于 2026 年 9 月 21 日。

## 正文

Abstract:Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.

Comments:

Subjects: Artificial Intelligence (cs.AI)

Cite as: arXiv:2609.25199 [cs.AI]

(or arXiv:2609.25199v1 [cs.AI] for this version)

https://doi.org/10.48550/arXiv.2609.25199

arXiv-issued DOI via DataCite (pending registration)

Submission history

From: Vasily Ilin [

Mon, 21 Sep 2026 17:57:30 UTC (365 KB)

Access Paper:

Current browse context:

References & Citations

Bookmark

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article