LATIDIA · Investigación
Lean Pool: un archivo mantenido por IA de matemáticas formalizadas
arXiv:2609.25199v1 Tipo de anuncio: nuevo Resumen: Lean Pool es un repositorio de matemáticas formalizadas. Los agentes de IA lo cultivan, mantienen y optimizan.
WhatsApp ↗Telegram ↗
La noticia
arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.