AI research · Source record
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
What the source says
arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
This is a source record and is not independent reporting. The brief text above comes from the publisher's feed. We have not independently verified all claims or reproduced the full article.
Read the original
Open the full item at arXiv AI research ↗. Check the original for scope, supporting evidence, and any later correction.
Related AI Speed reading
Explore our guide to Canadian AI research and infrastructure.