What happened
arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Benefit Ledger · provisional · Mathematics
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Tier 1 UsefulMethodology 0.2
Current score
+0.00
1 base · Useful (tier 1 of 5, 1 pts)
× 0.1000 attribution · Minor documented assistance
× 0.1000 evidence · Firsthand or social claim
× 0.2000 realization · Private or model-generated claim
× 0.5000 durability · Medium-term
Event-level product before credit split: 0.00
Auto-published from news ingest as a provisional placeholder. Score is conservative until a named release is identified and the record is rescored.
Model attribution
Unspecified AI system
+0.00Version unspecified
Unspecified system mentioned or implied by a news item. Remap to a named release when identified.
News ingest does not infer a named model from the publisher alone. Attribution stays unspecified until a release is identified.
Attribution 0.1000 · Credit share 100% · Unknown
Claims
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
outcome · supported
Sources
primary sources
- Lean Pool: An AI-Maintained Archive of Formalized Mathematics
arXiv cs.AI · preprint · 23 Sep 2026
Revision history
23 Sep 2026 · 0.00 → 0.00
Auto-published from news ingest.