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

计算机科学 > 人工智能 arXiv:2609.25199 (cs) [提交于 2026 年 9 月 21 日] 标题：精益池：人工智能维护的形式化数学档案 作者：Vasily Ilin 查看标题为“精益池：人工智能维护的形式化数学档案”的论文的 PDF，作者：瓦西里·伊林 查看 PDF HTML（实验）摘要：精益池是形式化数学的宝库。它由人工智能代理进行增长、维护和优化。评论：52 页，6 张图。包括导入项目的目录 主题：人工智能 (cs.AI) 引用为：arXiv:2609.25199 [cs.AI]（或此版本的 arXiv:2609.25199v1 [cs.AI]） https://doi.org/10.48550/arXiv.2609.25199 arXiv 通过 DataCite 发布的 DOI （待注册）提交历史记录 发件人：Vasily Ilin [ 查看电子邮件 ] [v1] 2026 年 9 月 21 日星期一 17:57:30 UTC (365 KB) 全文链接：访问论文：查看 Vasily Ilin 题为 Lean Pool: An AI-Maintained Archive of Formalized Mathematics 的论文的 PDF 查看 PDF HTML（实验性）TeX 源代码查看许可证 当前浏览上下文：cs.AI < 上一页 |下一页 > 新 |最近 | 2026-09 更改浏览方式： cs 参考文献和引文 NASA ADS Google Scholar 语义学者正在加载... BibTeX 格式的引文正在加载... 数据提供者： 书签 书目工具 书目和引文工具 书目浏览器切换 书目浏览器（什么是浏览器？） 关联论文 切换 关联论文（ 什么是关联论文？） Litmaps 切换Litmaps（什么是 Litmaps？） scite.ai 切换 scite 智能引文（什么是智能引文？） 与本文相关的代码、数据、媒体代码、数据和媒体 alphaXiv 切换 alphaXiv（什么是 alphaXiv？） 代码链接 切换 CatalyzeX 论文代码查找器（什么是 CatalyzeX？） DagsHub 切换 DagsHub（什么是DagsHub？）GotitPub 切换 Gotit.pub（什么是 GotitPub？）Huggingface 切换拥抱脸（什么是 Huggingface？）ScienceCast 切换 ScienceCast（什么是 ScienceCast？）演示演示复制切换复制（什么是复制？）空间切换拥抱脸空间（什么是空间？）空间切换 TXYZ.AI（什么）是 TXYZ.AI？） 相关论文推荐器和搜索工具 影响花链接 影响花（什么是影响花？） 核心推荐器切换 核心推荐器（什么是 CORE？） 作者地点 机构 主题 关于 arXivLabs arXivLabs：与社区合作者的实验项目 arXivLabs 是一个框架，允许合作者直接在我们的网站上开发和共享新的 arXiv 功能。与 arXivLabs 合作的个人和组织都接受并接受了我们开放、社区、卓越和用户数据隐私的价值观。 arXiv 致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。您有一个能为 arXiv 社区增加价值的项目想法吗？了解有关 arXivLabs 的更多信息。这篇论文的哪些作者是认可者？ |禁用 MathJax（什么是 MathJax？）