- ID
- 2609.25199
- 分类
- —
- 首次捕获
- 2026-09-23
- 状态
- unread
- 作者
- Vasily Ilin
- 信号
- 🔥 12
信号历史
- 2026-09-23HF Daily Papers · 🔥6
- 2026-09-24HF Daily Papers · 🔥12
暂无信号数据
摘要
Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.