智能AI
morning
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
2026-09-23
1 阅读
约1分钟阅读
Vasily Ilin
字号:
arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
这篇文章对您有帮助吗？
订阅66必读
每日精选科技资讯，直达你的邮箱