原文跳转提示

此资讯内容来源于外部网站，将在 60 秒后自动跳转到原文页面

https://arxiv.org/abs/2609.25199

立即前往原文

Lean Pool：由 AI 维护的形式化数学档案库

Lean Pool 是一个形式化数学代码库，由 AI 代理负责扩展、维护和优化其中的内容。

行业资讯应用研究 2026-09-23 13:31:05 517 阅读阅读约 1 分钟来源：Hugging Face

本文来源：Hugging Face，仅供学习参考，版权归原作者所有。

行业资讯应用研究 AI资讯 2026年09月23日

上一篇高通：手机仍将是个人交互核心，应用正迈向 AI 智能体时代下一篇 Patreon联合创始人山姆·杨加入OpenAI，负责创作者产品